Tootfinder

Magnetic force microscopy versus scanning quantum-vortex microscopy: Probing pinning landscape in granular niobium films
A. Yu. Aladyshkin, R. A. Hovhannisyan, S. Yu. Grebenchuk, S. A. Larionov, A. G. Shishkin, O. V. Skryabina, A. V. Samokhvalov, A. S. Mel'nikov, D. Roditchev, V. S. Stolyarov
https://arxiv.org/abs/2507.05172…

Magnetic force microscopy versus scanning quantum-vortex microscopy: Probing pinning landscape in granular niobium films
We provide an overview of the methodology and fundamental principles associated with newly developed experimental technique -- scanning quantum-vortex microscopy [Hovhannisyan et al., Commun. Mater., vol. 6, 42 (2025)]. This approach appears promising for experimental studies of vortex pinning phenomena in superconducting films and nanodevices. In particular, we studied the magnetic properties of magnetron-sputtered niobium (Nb) films by low-temperature magnetic force microscopy. As the tempera…

Now in Kleine spoel at @… "Free Software - it's more than coding" by Birgit Hücking.
#tdose

Requirements for Active Assistance of Natural Questions in Software Architecture
Diogo Lemos, Ademar Aguiar, Neil B. Harrison
https://arxiv.org/abs/2506.23898

Requirements for Active Assistance of Natural Questions in Software Architecture
Natural questions are crucial to shaping key architectural decisions and preserving architectural knowledge. They arise organically during the architectural design process, often resulting from the existing architectural experience of the designer and the distinctive characteristics of the system being designed. However, natural questions are often mismanaged or ignored, which can lead to architectural drift, knowledge loss, inefficient resource use, or poor understandability of the system's ar…

How far I'll go to make an RSS feed of your website - Chris Hardie's Tech and Software Blog
https://tech.chrishardie.com/2025/rss-feed-of-your-website/

Recoil-Safe Subtraction, Matching and Merging in e e- to hadrons
Stefan H\"oche, Frank Krauss, Peter Meinzinger, Daniel Reichelt
https://arxiv.org/abs/2507.22837 https://…

Recoil-Safe Subtraction, Matching and Merging in e+e- to hadrons
We present the first next-to-leading order matched and multi-jet merged predictions based on the Alaric parton shower. The components needed for infrared subtraction in the S-MC@NLO algorithm are computed analytically for the case of color singlet decays to hadronic final states and validated against existing approaches for up to e+e- to 5 jets. Phenomenological results for e+e- to hadrons at the Z pole are obtained with up to five jets at next-to-leading order precision, for the first time usi…

Hardware-software co-exploration with racetrack memory based in-memory computing for CNN inference in embedded systems
Benjamin Chen Ming Choong, Tao Luo, Cheng Liu, Bingsheng He, Wei Zhang, Joey Tianyi Zhou
https://arxiv.org/abs/2507.01429

Hardware-software co-exploration with racetrack memory based in-memory computing for CNN inference in embedded systems
Deep neural networks generate and process large volumes of data, posing challenges for low-resource embedded systems. In-memory computing has been demonstrated as an efficient computing infrastructure and shows promise for embedded AI applications. Among newly-researched memory technologies, racetrack memory is a non-volatile technology that allows high data density fabrication, making it a good fit for in-memory computing. However, integrating in-memory arithmetic circuits with memory cells af…

Voorlopig even Google contacten en kalender maar even verhuisd naar:
Deploy Software for your Remote Team | TAB.DIGITAL
https://tab.digital/
Die gratis 8Gb is voor mij meer dan genoeg en is vooral bedoeld voor bestands uitwisseling. De upload van 5G is nou eenmaal niet zo snel.
Voorlopig …

This https://arxiv.org/abs/2505.11077 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

LLM-Enhanced Symbolic Control for Safety-Critical Applications
Motivated by Smart Manufacturing and Industry 4.0, we introduce a framework for synthesizing Abstraction-Based Controller Design (ABCD) for reach-avoid problems from Natural Language (NL) specifications using Large Language Models (LLMs). A Code Agent interprets an NL description of the control problem and translates it into a formal language interpretable by state-of-the-art symbolic control software, while a Checker Agent verifies the correctness of the generated code and enhances safety by i…

Ten simple rules for PIs to integrate Research Software Engineering into their research group
Stuart M. Allen, Neil Chue Hong, Stephan Druskat, Toby Hodges, Daniel S. Katz, Jan Linxweiler, Frank L\"offler, Lars Grunske, Heidi Seibold, Jan Philipp Thiele, Samantha Wittke
https://arxiv.org/abs/2506.20217

Ten simple rules for PIs to integrate Research Software Engineering into their research group
Research Software Engineering (RSEng) is a key success factor in producing high-quality research software, which in turn enables and improves research outcomes. However, as a principal investigator or leader of a research group you may not know what RSEng is, where to get started with it, or how to use it to maximize its benefit for your research. RSEng also often comes with technical complexity, and therefore reduced accessibility to some researchers. The ten simple rules presented in this pap…

NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition
Le Deng, Zhonghao Jiang, Jialun Cao, Michael Pradel, Zhongxin Liu
https://arxiv.org/abs/2507.18130

NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition
Natural language-driven no-code development allows users to specify software functionality using natural language (NL) instead of editing source code, promising increased productivity and democratized development. Large language models (LLMs) show potential in enabling this paradigm. In this context, software documentation acts as an NL specification for functionality. This work introduces NoCode-bench, a benchmark designed to evaluate LLMs on real-world NL-driven feature addition tasks, consis…