Tootfinder

eu_procurements: EU procurement contract networks (2008-2016)
A bipartite network of public EU procurement contracts, from 2008 to 2016, between issuing buyers (public institutions such as a ministry or city hall) and supplying winners (a private firm). Contracts are aggregated into annual snapshots, edges are annotated with contract value information. Nodes are annotated with location information, including country of origin.
This network has 839824 nodes and 4098711 edges.

Trump signed a proclamation Wednesday evening to ban travel from several countries, citing security risks.
The ban will fully restrict entry of nationals from 12 countries:
Afghanistan; Myanmar, also known as Burma; Chad; Republic of the Congo; Equatorial Guinea; Eritrea; Haiti; Iran; Libya; Somalia; Sudan; and Yemen.
People from seven countries will have partial restriction:
Burundi, Cuba, Laos, Sierra Leone, Togo, Turkmenistan and Venezuela.
The proclamation i…

Trump signs proclamation to ban travel from 12 countries
President Donald Trump signed a proclamation Wednesday evening to ban travel from several countries to the US, citing security risks.

Trust the process: mapping data-driven reconstructions to informed models using stochastic processes
Stefano Rinaldi, Alexandre Toubiana, Jonathan R. Gair
https://arxiv.org/abs/2506.05153

Trust the process: mapping data-driven reconstructions to informed models using stochastic processes
Gravitational-wave astronomy has entered a regime where it can extract information about the population properties of the observed binary black holes. The steep increase in the number of detections will offer deeper insights, but it will also significantly raise the computational cost of testing multiple models. To address this challenge, we propose a procedure that first performs a non-parametric (data-driven) reconstruction of the underlying distribution, and then remaps these results onto a …

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
Cynthia Kop (Radboud Universiteit Nijmegen), Helida Salles Santos (Universidade Federal do Rio Grande)
https://arxiv.org/abs/2506.05219

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
This volume contains the post-proceedings of the 19th LSFA, which was held in Goiânia, the capital of Goiás state in Brazil, from September 18 to September 20, 2024. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. The aim of this series is bringing together theoreticians and practitioners t…

SkimROOT: Accelerating LHC Data Filtering with Near-Storage Processing
Narangerelt Batsoyol, Jonathan Guiang, Diego Davila, Aashay Arora, Philip Chang, Frank W\"urthwein, Steven Swanson
https://arxiv.org/abs/2506.04507

SkimROOT: Accelerating LHC Data Filtering with Near-Storage Processing
Data analysis in high-energy physics (HEP) begins with data reduction, where vast datasets are filtered to extract relevant events. At the Large Hadron Collider (LHC), this process is bottlenecked by slow data transfers between storage and compute nodes. To address this, we introduce SkimROOT, a near-data filtering system leveraging Data Processing Units (DPUs) to accelerate LHC data analysis. By performing filtering directly on storage servers and returning only the relevant data, SkimROOT min…

QiMeng: Fully Automated Hardware and Software Design for Processor Chip
Rui Zhang, Yuanbo Wen, Shuyao Cheng, Di Huang, Shaohui Peng, Jiaming Guo, Pengwei Jin, Jiacheng Zhao, Tianrui Ma, Yaoyu Zhu, Yifan Hao, Yongwei Zhao, Shengwen Liang, Ying Wang, Xing Hu, Zidong Du, Huimin Cui, Ling Li, Qi Guo, Yunji Chen
https://arxiv.org/abs…

QiMeng: Fully Automated Hardware and Software Design for Processor Chip
Processor chip design technology serves as a key frontier driving breakthroughs in computer science and related fields. With the rapid advancement of information technology, conventional design paradigms face three major challenges: the physical constraints of fabrication technologies, the escalating demands for design resources, and the increasing diversity of ecosystems. Automated processor chip design has emerged as a transformative solution to address these challenges. While recent breakthr…

Distributional encoding for Gaussian process regression with qualitative inputs
S\'ebastien Da Veiga (ENSAI, CREST, RT-UQ)
https://arxiv.org/abs/2506.04813

Distributional encoding for Gaussian process regression with qualitative inputs
Gaussian Process (GP) regression is a popular and sample-efficient approach for many engineering applications, where observations are expensive to acquire, and is also a central ingredient of Bayesian optimization (BO), a highly prevailing method for the optimization of black-box functions. However, when all or some input variables are categorical, building a predictive and computationally efficient GP remains challenging. Starting from the naive target encoding idea, where the original categor…

This https://arxiv.org/abs/2412.20925 has been replaced.
link: https://scholar.google.com/scholar?q=a

Active Learning with Variational Quantum Circuits for Quantum Process Tomography
Quantum process tomography (QPT) is a fundamental tool for fully characterizing quantum systems. It relies on querying a set of quantum states as input to the quantum process. Previous QPT methods typically employ a straightforward strategy for randomly selecting quantum states, overlooking differences in informativeness among them. In this work, we propose a general active learning (AL) framework that adaptively selects the most informative subset of quantum states for reconstruction. We desig…

Total progeny for spectrally negative branching L{\'e}vy processes with absorption
Christophe Profeta (LaMME)
https://arxiv.org/abs/2506.04783 https://…

Total progeny for spectrally negative branching L{é}vy processes with absorption
We consider a spectrally negative branching L{é}vy process in which particles are killed upon crossing below zero. It is known that such a process becomes extinct almost surely if the drift toward -$\infty$ is sufficiently strong to counterbalance the reproduction rate. In this note, we study the tail asymptotics of the number of particles absorbed at the boundary during the lifetime of the process, in both the subcritical and critical regimes.

eu_procurements_alt: EU national procurement networks (2008-2016)
These 234 networks represent the annual national public procurement markets of 26 European countries from 2008-2016, inclusive. Data is sourced from Tenders Electronic Daily (TED), the official procurement portal of the European Union.
This network has 1770 nodes and 3997 edges.
Tags: Economic, Commerce, Weighted, Temporal