Tootfinder

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Strandberg, Paul Pettersson
https://arxiv.org/abs/2505.23549

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety assurance challenging. In this paper, we propose a novel automated approach for guardrailing cyber-physical systems using property-based tests (PBTs) generated by Large Language Models (LLMs). Our approach employs an LLM to extract properties from the code and documentation of CPSs. Next, we use the LLM to generate P…

Welcome to Computing's weekly roundup of tech news in Asia. This time we look at the results of Australia’s age assurance trials, plus signs of regret over US chip bans to China.
https://www.computing.co.uk/news/2025/australia-okays-age-assuran…

Australia okays age assurance tech - Asian Tech Roundup
Welcome to Computing's weekly roundup of tech news in Asia. This time we look at the results of Australia’s age assurance trials, plus signs of ...

Study of excited $D$ and $D_s$ mesons in a relativized quark model
Saba Noor, Faisal Akram, Bilal Masud
https://arxiv.org/abs/2506.22071 https://

Study of excited $D$ and $D_s$ mesons in a relativized quark model
We use a modified relativistic quark model to study the properties of excited charmed and charmed strange mesons. We calculate the masses and wave functions of conventional charmed and charmed strange mesons incorporating both spin and $S$-$D$ mixing effects and fit parameters of the potential model with known experimental states using differential evolution technique. Using Leading Born-Oppenheimer expansion, we also compute the spectrum and wave functions of first gluonic excited state of cha…

foldoc: FOLDOC entries (2002)
A network of hyperlinks among entries in the Free On-line Dictionary of Computing (FOLDOC, www.foldoc.org), an online dictionary of acronyms and technical terms for computers. An edge points from i to j if the term j is referred to in the entry for term i. Edge weight denotes number of uses of the same term.
This network has 13356 nodes and 120238 edges.
Tags: Informational, Web graph, Weighted

Mechanisms to Verify International Agreements About AI Development
Aaron Scher, Lisa Thiergart
https://arxiv.org/abs/2506.15867 https://

Mechanisms to Verify International Agreements About AI Development
International agreements about AI development may be required to reduce catastrophic risks from advanced AI systems. However, agreements about such a high-stakes technology must be backed by verification mechanisms--processes or tools that give one party greater confidence that another is following the agreed-upon rules, typically by detecting violations. This report gives an overview of potential verification approaches for three example policy goals, aiming to demonstrate how countries could …

Efficient and Reuseable Cloud Configuration Search Using Discovery Spaces
Michael Johnston, Burkhard Ringlein, Christoph Hagleitner, Alessandro Pomponio, Vassilis Vassiliadis, Christian Pinto, Srikumar Venugopal
https://arxiv.org/abs/2506.21467

Efficient and Reuseable Cloud Configuration Search Using Discovery Spaces
Finding the optimal set of cloud resources to deploy a given workload at minimal cost while meeting a defined service level agreement is an active area of research. Combining tens of parameters applicable across a large selection of compute, storage, and services offered by cloud providers with similar numbers of application-specific parameters leads to configuration spaces with millions of deployment options. In this paper, we propose Discovery Space, an abstraction that formalizes the descr…

My removal from #nasa #nyc continued afoot.
I haven’t said much of it here — but my competitive grant proposals (nasa scientists get funded this way since full cost accounting hit in 2004) have been chosen, but not funded.
There is no grant money to distribute. Folks in the know have seen that - ROSES, the acronym for research opportunities in science, does not have a 2025 call and the 2024 chosen post January 2025 don’t have money getting distributed.
If I cannot get proposals funded I will be in the same situation as every other soft money researcher.
So the soft RIF is coming for me and 1000’s of others.

Leveraging Machine Learning for Accurate and Fast Stellar Mass Estimation of Galaxies
Vahid Asadi, Akram Hasani Zonoozi, Hosein Haghi, Fatemeh Abedini, Atousa Kalantari, Marziye Jafariyazani, Nima Chartab
https://arxiv.org/abs/2506.21067

Leveraging Machine Learning for Accurate and Fast Stellar Mass Estimation of Galaxies
Unveiling the evolutionary history of galaxies necessitates a precise understanding of their physical properties. Traditionally, astronomers achieve this through spectral energy distribution (SED) fitting. However, this approach can be computationally intensive and time-consuming, particularly for large datasets. This study investigates the viability of machine learning (ML) algorithms as an alternative to traditional SED-fitting for estimating stellar masses in galaxies. We compare a diverse r…

foldoc: FOLDOC entries (2002)
A network of hyperlinks among entries in the Free On-line Dictionary of Computing (FOLDOC, www.foldoc.org), an online dictionary of acronyms and technical terms for computers. An edge points from i to j if the term j is referred to in the entry for term i. Edge weight denotes number of uses of the same term.
This network has 13356 nodes and 120238 edges.
Tags: Informational, Web graph, Weighted

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- Stochastic Matching via In-n-Out Local Computation Algorithms
Amir Azarmehr, Soheil Behnezhad, Alma Ghafari, Ronitt Rubinfeld