Imminent impactors are natural bodies discovered in space before impacting the Earth. They provide a rare opportunity to characterize individual near-Earth objects (NEOs) in great detail as asteroids in space, meteors in Earth's atmosphere and meteorites on the ground. The Vera C. Rubin Observatory's upcoming Legacy Survey of Space and Time (LSST) is expected to transform our understanding of the NEO population. In this work, we evaluate LSST's expected discovery performance for imminent impactors using $343$ meter-size objects previously recorded in NASA's CNEOS database as fireballs impacting Earth's atmosphere. We simulate pre-impact observations of these CNEOS impactors with the Sorcha survey simulator under LSST's default three-night discovery strategy and a one-night strategy for fast-moving objects that relies on matching aligned streaks in two exposures on the same night. We estimate that LSST will discover $\sim1-2$ meter-size and larger imminent impactors per year, representing $\sim4\%$ of all Earth impactors $\gtrsim1$ m in diameter and almost doubling the current discovery rate of imminent impactors. The median time of discovery and median time of first observation for
Street-level visual appearances play an important role in studying social systems, such as understanding the built environment, driving routes, and associated social and economic factors. It has not been integrated into a typical geographical visualization interface (e.g., map services) for planning driving routes. In this paper, we study this new visualization task with several new contributions. First, we experiment with a set of AI techniques and propose a solution of using semantic latent vectors for quantifying visual appearance features. Second, we calculate image similarities among a large set of street-view images and then discover spatial imagery patterns. Third, we integrate these discovered patterns into driving route planners with new visualization techniques. Finally, we present VivaRoutes, an interactive visualization prototype, to show how visualizations leveraged with these discovered patterns can help users effectively and interactively explore multiple routes. Furthermore, we conducted a user study to assess the usefulness and utility of VivaRoutes.
The evolved massive star populations of the Local Group galaxies are generally thought to be well-understood. However, recent work suggested that the Wolf-Rayet (WR) content of M31 may have been underestimated. We therefore began a pilot project to search for new WRs in M31 and re-examine the completeness of our previous WR survey finished almost a decade prior. Our improved imaging data and spectroscopic follow-up confirmed 19 new WRs across three small fields in M31. These newly discovered WRs are generally fainter than the previously known sample due to slightly increased reddening as opposed to intrinsic faintness. From these findings, we estimate that there are another ~60 WRs left to be discovered in M31; however, the overall ratio of WN-type (nitrogen-rich) to WC-type (carbon-rich) WRs remains unchanged with our latest additions to the M31 WR census. We are in the process of extending this pilot WR survey to include the rest of M31, and a more complete population will be detailed in our future work.
The BESIII experiment starts to run at 2009 and has submitted 500 publications during the past 15 years. This article reviews the 26 new hadrons discovered at BESIII, dedicated to the celebration of this event.
The consortium NANOGrav discovered the isotropic gravitational wave background (GWB) with an amplitude of $h\sim 10^{-15}$ and a frequency of $f\sim 10^{-8}$ Hz using observations of millisecond pulsars. We hypothesize that the GWB is relic radiation left over from the merging stellar mass black holes (SBHs) during Big Crunch at $z\sim 10^{10}$. The relic gravitational waves are similar to the gravitational waves with $f\sim 10^2$ Hz discovered by LIGO in 2015, taking into account a decrease in frequency by a factor $\sim 10^{10}$ due to the expansion of the Universe. We take as a basis the observed spectrum of 139 SBHs, discovered by the LIGO observatory. Our model explains well all the observed features of the GWB. Unlike all other GWB models, our model predicts a sharp decrease in the GWB amplitude at frequencies $f>3.5*10^{-8}$ Hz, reflecting the deficit of SBHs with masses $<4M_\odot$. The SBMH mergers at Big Crunch should generate yet undiscovered GWB with a frequency of $f\sim 10^{-(14-17)}$ Hz.
During the last year, six new Active Galactic Nuclei (AGN) have been discovered and studied by H.E.S.S. at Very High Energies (VHE). Some of these recent discoveries have been made thanks to new enhanced analysis methods and are presented at this conference for the first time. The three blazars 1ES 0414+009, SHBL J001355.9-185406 and 1RXS J101015.9-311909 have been targeted for observation due to their high levels of radio and X-ray fluxes, while the Fermi/LAT catalogue of bright sources triggered the observation of PKS 0447-439 and AP Librae. Additionally, the BL Lac 1ES 1312-423 was discovered in the field-of-view (FoV) of Centaurus A thanks to the large exposure dedicated by H.E.S.S. to this particularly interesting source. The newly-discovered sources are presented here and in three companion presentations at this conference.
We investigate the single neutral bosons (NB) with the spins 0, 1 and 2 decaying via the W^-W^+ -channel in an external magnetic field (EMF) and discuss the questions connected with the search of the Standard Model (SM) scalar Higgs boson (HB) in the CMS and ATLAS experiments at the LHC.It is shown that a single neutral scalar boson with the mass around 126 GeV can not decay into the two on-shell W^+- -bosons in an EMF.The impossibility of decay of a single neutral scalar boson in the mass range below 160.770 GeV into the two on-shell W^+- -bosons in an EMF due to the energy and spin projection conservation laws and the possible decay of a single NB with the spin J=2 and the spin projection J_z=+2 in that region enable us to come to the conclusion that the single NB with the mass 125.3 GeV/126 GeV discovered in the CMS and ATLAS experiments is neither the SM HB nor a scalar boson at all.The NB with the mass 125.3 GeV/126 GeV discovered in the CMS and ATLAS experiments is a new NB with the spin J=2 and the spin projection J_z=+2 that is not included in the SM. Both the P-parity and charge conjugation C of this new particle are +1. So, the newly discovered NB is a neutral tensor boso
We present timing solutions and analyses of 11 pulsars discovered by the Five-hundred-meter Aperture Spherical radio Telescope (FAST). These pulsars were discovered using an ultra-wide bandwidth receiver in drift-scan observations made during the commissioning phase of FAST, and were then confirmed and timed using the 64-m Parkes Radio Telescope. Each pulsar has been observed over a span of at least one year. Highlighted discoveries include PSR J0344-0901, which displays mode-changing behaviour and may belong to the class of so-called `swooshing' pulsars (alongside PSRs B0919+06 and B1859+07); PSR J0803-0942, whose emission is almost completely linearly polarised; and PSRs J1900-0134 and J1945+1211, whose well defined polarisation angle curves place stringent constraints on their emission geometry. We further discuss the detectability of these pulsars by earlier surveys, and highlight lessons learned from our work in carrying out confirmation and monitoring observations of pulsars discovered by a highly sensitive telescope, many of which may be applicable to next-generation pulsar surveys. This paper marks one of the first major releases of FAST-discovered pulsars, and paves the wa
This paper presents a novel approach for automated analysis of process models discovered using process mining techniques. Process mining explores underlying processes hidden in the event data generated by various devices. Our proposed Inductive machine learning method was used to build business process models based on actual event log data obtained from a hotel's Property Management System (PMS). The PMS can be considered as a Multi Agent System (MAS) because it is integrated with a variety of external systems and IoT devices. Collected event log combines data on guests stay recorded by hotel staff, as well as data streams captured from telephone exchange and other external IoT devices. Next, we performed automated analysis of the discovered process models using formal methods. Spin model checker was used to simulate process model executions and automatically verify the process model. We proposed an algorithm for the automatic transformation of the discovered process model into a verification model. Additionally, we developed a generator of positive and negative examples. In the verification stage, we have also used Linear temporal logic (LTL) to define requested system specificati
Humans can abstract prior knowledge from very little data and use it to boost skill learning. In this paper, we propose routine-augmented policy learning (RAPL), which discovers routines composed of primitive actions from a single demonstration and uses discovered routines to augment policy learning. To discover routines from the demonstration, we first abstract routine candidates by identifying grammar over the demonstrated action trajectory. Then, the best routines measured by length and frequency are selected to form a routine library. We propose to learn policy simultaneously at primitive-level and routine-level with discovered routines, leveraging the temporal structure of routines. Our approach enables imitating expert behavior at multiple temporal scales for imitation learning and promotes reinforcement learning exploration. Extensive experiments on Atari games demonstrate that RAPL improves the state-of-the-art imitation learning method SQIL and reinforcement learning method A2C. Further, we show that discovered routines can generalize to unseen levels and difficulties on the CoinRun benchmark.
In Data Mining, the usefulness of association rules is strongly limited by the huge amount of delivered rules. In this paper we propose a new approach to prune and filter discovered rules. Using Domain Ontologies, we strengthen the integration of user knowledge in the post-processing task. Furthermore, an interactive and iterative framework is designed to assist the user along the analyzing task. On the one hand, we represent user domain knowledge using a Domain Ontology over database. On the other hand, a novel technique is suggested to prune and to filter discovered rules. The proposed framework was applied successfully over the client database provided by Nantes Habitat.
Tremendous progress has been made in reinforcement learning (RL) over the past decade. Most of these advancements came through the continual development of new algorithms, which were designed using a combination of mathematical derivations, intuitions, and experimentation. Such an approach of creating algorithms manually is limited by human understanding and ingenuity. In contrast, meta-learning provides a toolkit for automatic machine learning method optimisation, potentially addressing this flaw. However, black-box approaches which attempt to discover RL algorithms with minimal prior structure have thus far not outperformed existing hand-crafted algorithms. Mirror Learning, which includes RL algorithms, such as PPO, offers a potential middle-ground starting point: while every method in this framework comes with theoretical guarantees, components that differentiate them are subject to design. In this paper we explore the Mirror Learning space by meta-learning a "drift" function. We refer to the immediate result as Learnt Policy Optimisation (LPO). By analysing LPO we gain original insights into policy optimisation which we use to formulate a novel, closed-form RL algorithm, Discov
This work reports the discovery of three new globular clusters (GCs) towards the Galactic bulge - Camargo 1107, 1108, and 1109. The discovery was made using the WISE, 2MASS, VVV, and Gaia-DR2 photometry. The new findings are old (12.0-13.5 Gyr) and metal-poor GCs ([Fe/H] < -1.5 dex) located in the bulge area close to the Milky Way (MW) mid-plane. Although the old ages and low metallicities suggest that the newly discovered GCs are likely associated with the inner halo the possibility of these clusters being part of a primordial bulge GC subpopulation cannot be ruled out. Camargo 1107, for instance, presents a metallicity of [Fe/H] = -2.2 +/- 0.4 dex and an age of 13.5 +/- 2 Gyr, which may suggest that this cluster formed just after the Big Bang in the very early Universe. The discovery of GCs such as the new findings is crucial to built a coherent picture of the inner Galaxy. It is likely that at least a few more dozens of GCs are still to be discovered in the bulge.
To assist with the commissioning (Jiang et al. 2019) of the Five-hundred-meter Aperture Spherical radio Telescope (FAST), we performed a pulsar search, with the primary goal of developing and testing the pulsar data acquisition and processing pipelines. We tested and used three pipelines, two (P1 and P2 hereafter) searched for the periodic signature of pulsars whereas the other one was used to search for bright single pulses (P3 hereafter). A pulsar candidate was discovered in the observation on the 22nd August, 2017, and later confirmed by the Parkes radio telescope on the 10th September, 2017. This pulsar, named PSR J1900-0134, was the first pulsar discovered by FAST. The pulsar has a pulse period of 1.8 s and a dispersion measure (DM) of 188\,pc\,cm$^{-3}$.
In the early 1930s, the positron, pair production, and, at last, positron annihilation were discovered. Over the years, several scientists - commonly, Thibaud and Joliot - have been credited with the discovery of the annihilation radiation. A conversation between Werner Heisenberg and Theodor Heiting prompted me to examine relevant publications, when these were submitted and published, and how experimental results were interpreted in the relevant articles. I argue that it was Theodor Heiting - usually not mentioned at all in relevant publications - who discovered positron annihilation, and that he should receive proper credit.
We present a correlative study between all unidentified EGRET sources at low Galactic latitudes and the newly discovered pulsars in the released portion of the Parkes multibeam radio survey. We note 14 positional coincidences: eight of these are ``Vela-like'' pulsars, with relatively small periods, small characteristic ages, and high spin-down luminosities. Three of these coincidences have been investigated by D'Amico et al. (2001) and Camilo et al. (2001). Among the others, we argue that PSR J1015-5719 may plausibly generate part of the high energy radiation observed from 3EG J1014-5705. Three additional interesting cases are: 3EG J1410-6147 and either of PSRs J1412-6145 or J1413-6141, if the pulsars are at the estimated distance of the coincident SNR G312.4-0.4; and 3EG J1639-4702/PSR J1637-4642. The remaining positional coincidences between the EGRET sources and the newly discovered pulsars are almost certainly spurious.
The Yff points of a triangle were introduced by Peter Yff in 1963. Since then, very few new facts have been discovered about these points. We present some geometrical properties of the Yff points of various shaped triangles which were discovered and proved by computer.
The viability of chain-of-thought (CoT) monitoring hinges on models being unable to reason effectively in their latent representations. Yet little is known about the limits of such latent reasoning in LLMs. We test these limits by studying whether models can discover multi-step planning strategies without supervision on intermediate steps and execute them latently, within a single forward pass. Using graph path-finding tasks that precisely control the number of required latent planning steps, we uncover a striking limitation unresolved by massive scaling: tiny transformers trained from scratch discover strategies requiring up to three latent steps, fine-tuned GPT-4o and Qwen3-32B reach five, and GPT-5.4 attains seven under few-shot prompting. Although the maximum latent planning depth models can learn during training is five, the discovered strategy generalizes up to eight latent steps at test-time. This reveals a dissociation between the ability to discover a latent strategy under final-answer supervision alone and the ability to execute it once discovered. If similar limits hold more broadly, strategies requiring multiple coordinated latent planning steps may need to be explicitl
In 1640 Pierre de Fermat discovered his theorem that if $p$ is prime and $a$ is not divisible by $p$, then $a^{p-1}-1$ is divisible by $p$; or, as we write today, $a^{p-1}\equiv1\pmod{p}$. This is perhaps the first and the most important surprising property ever discovered about primes. There is little in number theory that is not dependent on it or intertwined with it, and its significance is amply demonstrated by the fact that today, almost four centuries later, Fermat's theorem provides the mathematical foundation for the RSA cryptosystem, which is still central to society's communications security even after several decades serving as its heart. Fermat's theorem is totally unexpected and truly astonishing. So why and how did he discover it? We know that Fermat was studying perfect numbers from classical Greek mathematics. But exactly how did that lead to his discovery? The secret lies in patterns in prime factorizations of Mersenne numbers, and Fermat's letters reveal hints of his path. We can reconstruct details of how Mersenne numbers led to Fermat's discoveries.
With the increasing use of graph-structured data, there is also increasing interest in investigating graph data dependencies and their applications, e.g., in graph data profiling. Graph Generating Dependencies (GGDs) are a class of dependencies for property graphs that can express the relation between different graph patterns and constraints based on their attribute similarities. Rich syntax and semantics of GGDs make them a good candidate for graph data profiling. Nonetheless, GGDs are difficult to define manually, especially when there are no data experts available. In this paper, we propose GGDMiner, a framework for discovering approximate GGDs from graph data automatically, with the intention of profiling graph data through GGDs for the user. GGDMiner has three main steps: (1) pre-processing, (2) candidate generation, and, (3) GGD extraction. To optimize memory consumption and execution time, GGDMiner uses a factorized representation of each discovered graph pattern, called Answer Graph. Our results show that the discovered set of GGDs can give an overview about the input graph, both schema level information and also correlations between the graph patterns and attributes.