Tootfinder

Homotopy types of moment-angle complexes associated to almost linear resolutions
Steven Amelotte, Benjamin Briggs
https://arxiv.org/abs/2506.15457 https://…

Homotopy types of moment-angle complexes associated to almost linear resolutions
We show that the Hurewicz image in the homology of a moment-angle complex, when passed through an isomorphism with the Ext-module of the corresponding Stanley-Reisner ideal, contains the linear strand of this ideal. This recovers and refines results of various authors identifying the homotopy type of a moment-angle complex as a wedge of spheres when the underlying ideal satisfies certain linearity properties. Going further, we study the homotopy types of moment-angle manifolds associated to Gor…

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Positive $m$-divisible non-crossing partitions and their Kreweras maps
Christian Krattenthaler (Universit\"at Wien), Christian Stump (Ruhr-Universit\"at Bochum)
https://arxiv.org/abs/2506.14996

Positive $m$-divisible non-crossing partitions and their Kreweras maps
We study positive $m$-divisible non-crossing partitions and their positive Kreweras maps. In classical types, we describe their combinatorial realisations as certain non-crossing set partitions. We also realise these positive Kreweras maps as pseudo-rotations on a circle, respectively on an annulus. We enumerate positive $m$-divisible non-crossing partitions in classical types that are invariant under powers of the positive Kreweras maps with respect to several parameters. In order to cope with…

Classification of Multi-Parametric Body MRI Series Using Deep Learning
Boah Kim, Tejas Sudharshan Mathai, Kimberly Helm, Peter A. Pinto, Ronald M. Summers
https://arxiv.org/abs/2506.15182

Classification of Multi-Parametric Body MRI Series Using Deep Learning
Multi-parametric magnetic resonance imaging (mpMRI) exams have various series types acquired with different imaging protocols. The DICOM headers of these series often have incorrect information due to the sheer diversity of protocols and occasional technologist errors. To address this, we present a deep learning-based classification model to classify 8 different body mpMRI series types so that radiologists read the exams efficiently. Using mpMRI data from various institutions, multiple deep lea…

Golang makes up for the benefits of type aliases and generics and arbitrary key and value types for maps with nil pointer and zero value shenanigans.

At Microsoft, we’re advancing quantum computing at every level. With our newly developed family of 4D geometric codes, and our co-designed quantum work with Atom Computing
, we’re getting closer to making large-scale quantum computing a reality. Learn more: https://aka.ms/AQBlogQEC

Microsoft advances quantum error correction with a family of novel four-dimensional codes - Microsoft Azure Quantum Blog
Learn how we're advancing quantum computing by developing 4D error-correction codes that are applicable to many types of qubits.

Now @… from #Shopify speaks about one of the most controversial topics in #RubyProgramming: #Types

Inline RBS comments support for Sorbet
How Sorbet and RBS can work together to elevate your Ruby development experience

Good Morning #Canada
It's a slow news day, historically speaking, so I'll share some local, very cool history related to my small community of Belle Ewart. As parts of our country experience heat waves, perhaps this post will remind you that it will get cold again. For you corporate types, a new definition of frozen assets. For everyone else, think about how far we've come as you rattle the ice cubes in your favourite drink.
#CanadaIsAwesome #iceIceBaby
https://www.orilliamatters.com/local-news/lake-simcoe-ice-company-thrived-in-late-19th-century-6192112

Characterization of fiberwise bimeromorphism and specialization of bimeromorphic types I: the non-negative Kodaira dimension case
Jian Chen, Sheng Rao, I-Hsun Tsai
https://arxiv.org/abs/2506.12670

Characterization of fiberwise bimeromorphism and specialization of bimeromorphic types I: the non-negative Kodaira dimension case
Inspired by the recent works of M. Kontsevich--Y. Tschinkel and J. Nicaise--J. C. Ottem on specialization of birational types for smooth families (in the scheme category) and J. Koll{á}r's work on fiberwise bimeromorphism, we focus on characterizing the fiberwise bimeromorphism and utilizing the characterization to investigate the specialization of bimeromorphic types for non-smooth families in the complex analytic setting. We provide some criteria for a bimeromorphic map between two families …

Several types of quantum Wasserstein distance based on an optimization over separable states
G\'eza T\'oth, J\'ozsef Pitrik
https://arxiv.org/abs/2506.14523

Several types of quantum Wasserstein distance based on an optimization over separable states
We consider several definitions of the quantum Wasserstein distance based on an optimization over general bipartite quantum states with given marginals. Then, we examine the quantities obtained after the optimization is carried out over bipartite separable states instead. We prove that several of these quantities are equal to each other. Thus, we connect several approaches in the literature. As a byproduct, we show that the Uhlmann-Jozsa quantum fidelity can also be written as an optimization o…

There is a fracture point here: the Stephen Miller types who want to make the US entirely white are at odds with the exploitative employers who want •more• undocumented immigrants in the US, not fewer.
Pit them against each other.
3/

tfw you're acknowledged in the same sentence as Thierry Coquand

Towards Bug-Free Distributed Go Programs
Zhengqun Koo
https://arxiv.org/abs/2506.15135 https://arxiv.org/pdf/2506.15135

Towards Bug-Free Distributed Go Programs
Programmers of distributed systems need to reason about concurrency to avoid races. However, reasoning about concurrency is difficult, and unexpected races show up as bugs. Data race detection in shared memory systems is well-studied (dynamic data race detection [13], behavioral types [15], dynamic race detection [31]). Similar to how a data race consists of reads and writes not related by happens-before at a shared memory location, a communication race consists of receives and sends not relate…

from my link log —
Implementing dependent types in pi-forall.
https://arxiv.org/abs/2207.02129
saved 2025-06-06 https://dotat.at/…

Implementing Dependent Types in pi-forall
These lecture notes describe the design of a minimal dependently-typed language called "pi-forall" and walk through the implementation of its type checker. They are based on lectures given at the Oregon Programming Languages Summer School during July 2023.

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Georgios Androutsopoulos, Antonio Bianchi
https://arxiv.org/abs/2506.15648

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Although Rust ensures memory safety by default, it also permits the use of unsafe code, which can introduce memory safety vulnerabilities if misused. Unfortunately, existing tools for detecting memory bugs in Rust typically exhibit limited detection capabilities, inadequately handle Rust-specific types, or rely heavily on manual intervention. To address these limitations, we present deepSURF, a tool that integrates static analysis with Large Language Model (LLM)-guided fuzzing harness generat…

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
Pietro Galliani
https://arxiv.org/abs/2506.15367 https://arx…

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
First Order Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments. In Team Semantics, it is possible to extend First Order Logic via new types of atoms that describe dependencies between variables; some of these extensions are strictly more expressive than First Order Logic, while others are reducible to it. Many of the atoms studied in Team Semantics are inspired by Database Theory and belong in particular to the class of…

Cryptocurrencies are tools for criminals and they know that. They do not, however, seem to understand the limitations:
https://arstechnica.com/security/2025/05/fractured-skulls-and-ski-masks-more-crypto-kidnap-madnes…

Evolutionary models for the Very Massive Stars in the R136 cluster of 30 Doradus in the Large Magellanic Cloud
Z. Keszthelyi, S. A. Brands, A. de Koter, N. Langer, J. Puls
https://arxiv.org/abs/2506.15230

Evolutionary models for the Very Massive Stars in the R136 cluster of 30 Doradus in the Large Magellanic Cloud
The cluster R136 in the LMC contains a population of stars in excess of 100 M$_\odot$, including R136a1, the most massive star known. Very Massive Stars (VMSs) play an influential role in feedback processes and may potentially produce exotic supernova types and black holes of tens of solar masses. The evolutionary history and final fate of the three most luminous stars, R136a1, R136a2, and R136a3, has been a puzzling issue. We aim to resolve this by rotating single-star MESA models. We produce …

Gamma rays as a signature of r-process producing supernovae: remnants and future Galactic explosions
Zhenghai Liu, Evan Grohs, Kelsey A. Lund, G. C. McLaughlin, M. Reichert, Ian U. Roederer, Rebecca Surman, Xilu Wang
https://arxiv.org/abs/2506.14991

Gamma rays as a signature of r-process producing supernovae: remnants and future Galactic explosions
We consider the question of whether core-collapse supernovae (CCSNe) can produce rapid neutron capture process (r-process) elements and how future MeV gamma-ray observations could address this. Rare types of CCSNe characterized by substantial magnetic fields and rotation, known as magnetorotational supernovae (MR-SNe), are theoretically predicted to produce these elements, although direct observational evidence is lacking. We suggest that this critical question be addressed through the study of…

It's 2025. If your library still doesn't have types in it (parameter, return, and property), I assume it's abandoned and I should not use it.
There are no exceptions to this statement. Not typing your PHP code in 2025 is irresponsible. No, docblocks are not good enough.
#PHP

Multi-type logistic branching processes with selection: frequency process and genealogy for large carrying capacities
Marta Dai Pra, Julian Kern
https://arxiv.org/abs/2507.12601

Multi-type logistic branching processes with selection: frequency process and genealogy for large carrying capacities
We present a model for growth in a multi-species population. We consider two types evolving as a logistic branching process with mutation, where one of the types has a selective advantage, and are interested in the regime in which the carrying capacity of the system goes to $\infty$. We first study the genealogy of the population up until it almost reaches carrying capacity through a coupling with an independent branching process. We then focus on the phase in which the population has reached c…

Classification of three-dimensional Nijenhuis Leibniz algebras
Tianshui Ma, Chan Zhao
https://arxiv.org/abs/2507.12692 https://arxiv.…

Classification of three-dimensional Nijenhuis Leibniz algebras
There are thirteen types of three-dimensional Leibniz algebras over the real field $\mathbb{R}$ based on the classification given by S. Ayupov, B. Omirov and I. Rakhimov in [Leibniz algebras: structure and classification. CRC Press, Boca Raton, FL, 2020]. In this paper, we investigate all the Nijenhuis operators on these thirteen types of three-dimensional Leibniz algebras.

Dark Count Rate Stability of JUNO 20-inch PMTs in Mass Testing
Min Li, Narongkiat Rodphai, Caimei Liu, Zhimin Wang, Zhaoyuan Peng, Jun Wang, Nikolay Anfimov, Denis Korablev, Tobias Lachenmaier, Alexander G. Olshevskiy, Zhonghua Qin, Tobias Sterr, Alexander Felix Tietzsch, Rong Zhao, Wei Wang, Kaile Wen, Bjoern Soenke Wonsak, Wan Xie, Meihang Xu, Yu Zhang

Dark Count Rate Stability of JUNO 20-inch PMTs in Mass Testing
The Jiangmen Underground Neutrino Observatory (JUNO) is an ambitious multipurpose neutrino experiment designed to determine the neutrino mass ordering, with an impressive energy resolution goal of at least 3% at 1 MeV. To achieve a photon detection coverage of approximately 75%, JUNO will utilize two types of 20-inch photomultiplier tubes (PMTs): the large PMT (LPMT) and the microchannel plate PMT (MCP-PMT). A significant concern in high-precision neutrino measurements is the dark count rate (D…

GUI-Robust: A Comprehensive Dataset for Testing GUI Agent Robustness in Real-World Anomalies
Jingqi Yang, Zhilong Song, Jiawei Chen, Mingli Song, Sheng Zhou, linjun sun, Xiaogang Ouyang, Chun Chen, Can Wang
https://arxiv.org/abs/2506.14477

GUI-Robust: A Comprehensive Dataset for Testing GUI Agent Robustness in Real-World Anomalies
The development of high-quality datasets is crucial for benchmarking and advancing research in Graphical User Interface (GUI) agents. Despite their importance, existing datasets are often constructed under idealized conditions, overlooking the diverse anomalies frequently encountered in real-world deployments. To address this limitation, we introduce GUI-Robust, a novel dataset designed for comprehensive GUI agent evaluation, explicitly incorporating seven common types of anomalies observed in …

Reasoning with Exploration: An Entropy Perspective
Daixuan Cheng, Shaohan Huang, Xuekai Zhu, Bo Dai, Wayne Xin Zhao, Zhenliang Zhang, Furu Wei
https://arxiv.org/abs/2506.14758

Reasoning with Exploration: An Entropy Perspective
Balancing exploration and exploitation is a central goal in reinforcement learning (RL). Despite recent advances in enhancing language model (LM) reasoning, most methods lean toward exploitation, and increasingly encounter performance plateaus. In this work, we revisit entropy -- a signal of exploration in RL -- and examine its relationship to exploratory reasoning in LMs. Through empirical analysis, we uncover strong positive correlations between high-entropy regions and three types of explora…

Time to write a dice roller...gonna use `lark` to parse the string so I can just type out the roll and add tags for the damage types and let it do the math. Is it overkill? Yes. Does it work? No, not yet...but that's the fun part.
#python #lark

EnhanceGraph: A Continuously Enhanced Graph-based Index for High-dimensional Approximate Nearest Neighbor Search
Xiaoyao Zhong, Jiabao Jin, Peng Cheng, Mingyu Yang, Lei Chen, Haoyang Li, Zhitao Shen, Xuemin Lin, Heng Tao Shen, Jingkuan Song
https://arxiv.org/abs/2506.13144

EnhanceGraph: A Continuously Enhanced Graph-based Index for High-dimensional Approximate Nearest Neighbor Search
Recently, Approximate Nearest Neighbor Search in high-dimensional vector spaces has garnered considerable attention due to the rapid advancement of deep learning techniques. We observed that a substantial amount of search and construction logs are generated throughout the lifespan of a graph-based index. However, these two types of valuable logs are not fully exploited due to the static nature of existing indexes. We present the EnhanceGraph framework, which integrates two types of logs into a …

Next-Generation Conflict Forecasting: Unleashing Predictive Patterns through Spatiotemporal Learning
Simon P. von der Maase
https://arxiv.org/abs/2506.14817

Next-Generation Conflict Forecasting: Unleashing Predictive Patterns through Spatiotemporal Learning
Forecasting violent conflict at high spatial and temporal resolution remains a central challenge for both researchers and policymakers. This study presents a novel neural network architecture for forecasting three distinct types of violence -- state-based, non-state, and one-sided -- at the subnational (priogrid-month) level, up to 36 months in advance. The model jointly performs classification and regression tasks, producing both probabilistic estimates and expected magnitudes of future events…

Symmetry in Multi-Qubit Correlated Noise Errors Enhances Surface Code Thresholds
SiYing Wang, Yue Yan, ZhiXin Xia, Xiang-Bin Wang
https://arxiv.org/abs/2506.15490

Symmetry in Multi-Qubit Correlated Noise Errors Enhances Surface Code Thresholds
Surface codes are promising for practical quantum error correction due to their high threshold and experimental feasibility. However, their performance under realistic noise conditions, particularly those involving correlated errors, requires further investigation. In this study, we investigate the impact of correlated errors on the error threshold. In particular, we focus on several distinct types of correlated errors that could potentially arise from next-nearest-neighbor (NNN) coupling in qu…

Has anyone provided helper functions with and for one of their :nixos: #NixOS modules? 🤔
https://discourse.nixos.org/t/providing-helper-functions-in-and…

Providing helper functions in and for a module
Some (of my) module options would benefit greatly from helper functions for defining option values. An example would be populating services.jupyterub.kernels, which can get quite verbose if you include things like wrapping in an FHS env or custom virtualenv management. Sure, types.submodule exists, but such a submodule is rather suitable for perfectly similar structures with just different values. Instead, something like this would be helpful: { pkgs, config, lib, ... }: { services.jupyterhu…

qa_user: User interactions on Q&A websites (2016)
Networks of interactions among users from four online Q&A sites: Stack Overflow, Math Overflow, Super User, and Ask Ubuntu. A directed edge (i,j) indicates a user i responded to user j's post. Edges are timestamped. For each Q&A site, four differently defined networks are provided, based on the definition of an edge: (i) a user answered a question, (ii) a user commented on a question, (iii) a user commented on an answer…

from my link log —
What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
https://nikitadanilov.github.io/aodt.html
saved 2025-04-23

Posets for Specht ideals of essential real reflection groups
Sebastian Debus, Kurt Klement Gottwald
https://arxiv.org/abs/2506.15335 https://

Posets for Specht ideals of essential real reflection groups
Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection grou…

Brain Stroke Classification Using Wavelet Transform and MLP Neural Networks on DWI MRI Images
Mana Mohammadi, Amirhesam Jafari Rad, Ashkan Behrouzi
https://arxiv.org/abs/2506.15364

Brain Stroke Classification Using Wavelet Transform and MLP Neural Networks on DWI MRI Images
This paper presents a lightweight framework for classifying brain stroke types from Diffusion-Weighted Imaging (DWI) MRI scans, employing a Multi-Layer Perceptron (MLP) neural network with Wavelet Transform for feature extraction. Accurate and timely stroke detection is critical for effective treatment and improved patient outcomes in neuroimaging. While Convolutional Neural Networks (CNNs) are widely used for medical image analysis, their computational complexity often hinders deployment in re…

The golfers taking part in the 'Hickory Golf' event at the Royal Ashburn Golf Club in Whitby, many of whom are among the 150 members of the of Golf Historical Society of Canada. They share an interest in the history of golf and the craftsmanship of clubs from a bygone era.
#realGolf

via @…

Stochastic Weakly Convex Optimization Under Heavy-Tailed Noises
Tianxi Zhu, Yi Xu, Xiangyang Ji
https://arxiv.org/abs/2507.13283 https://

Stochastic Weakly Convex Optimization Under Heavy-Tailed Noises
An increasing number of studies have focused on stochastic first-order methods (SFOMs) under heavy-tailed gradient noises, which have been observed in the training of practical deep learning models. In this paper, we focus on two types of gradient noises: one is sub-Weibull noise, and the other is noise under the assumption that it has a bounded $p$-th central moment ($p$-BCM) with $p\in (1, 2]$. The latter is more challenging due to the occurrence of infinite variance when $p\in (1, 2)$. Under…

scSiameseClu: A Siamese Clustering Framework for Interpreting single-cell RNA Sequencing Data
Ping Xu, Zhiyuan Ning, Pengjiang Li, Wenhao Liu, Pengyang Wang, Jiaxu Cui, Yuanchun Zhou, Pengfei Wang
https://arxiv.org/abs/2505.12626

scSiameseClu: A Siamese Clustering Framework for Interpreting single-cell RNA Sequencing Data
Single-cell RNA sequencing (scRNA-seq) reveals cell heterogeneity, with cell clustering playing a key role in identifying cell types and marker genes. Recent advances, especially graph neural networks (GNNs)-based methods, have significantly improved clustering performance. However, the analysis of scRNA-seq data remains challenging due to noise, sparsity, and high dimensionality. Compounding these challenges, GNNs often suffer from over-smoothing, limiting their ability to capture complex biol…

Replaced article(s) found for cs.CE. https://arxiv.org/list/cs.CE/new
[1/1]:
A comparative analysis for different finite element types in strain-gradient elasticity simulatio...

A Comparative Study on Proactive and Passive Detection of Deepfake Speech
Chia-Hua Wu, Wanying Ge, Xin Wang, Junichi Yamagishi, Yu Tsao, Hsin-Min Wang
https://arxiv.org/abs/2506.14398

A Comparative Study on Proactive and Passive Detection of Deepfake Speech
Solutions for defending against deepfake speech fall into two categories: proactive watermarking models and passive conventional deepfake detectors. While both address common threats, their differences in training, optimization, and evaluation prevent a unified protocol for joint evaluation and selecting the best solutions for different cases. This work proposes a framework to evaluate both model types in deepfake speech detection. To ensure fair comparison and minimize discrepancies, all model…

Picat Through the Lens of Advent of Code
Neng-Fa Zhou, Cristian Grozea, H{\aa}kan Kjellerstrand, Ois\'in Mac Fheara\'i
https://arxiv.org/abs/2507.11731

Picat Through the Lens of Advent of Code
Picat is a logic-based, multi-paradigm programming language that integrates features from logic, functional, constraint, and imperative programming paradigms. This paper presents solutions to several problems from the 2024 Advent of Code (AoC). While AoC problems are not designed for any specific programming language, certain problem types, such as reverse engineering and path-finding, are particularly well-suited to Picat due to its built-in constraint solving, pattern matching, backtracking, …

Impact of Spinning Droplets onto Superhydrophobic Surfaces: Asymmetric Tumbling Rapid Rebound
Jinyang Wang, Feifei Jia, Xiaoyun Peng, Peng Zhang, Kai Sun, Tianyou Wang
https://arxiv.org/abs/2507.13150

Impact of Spinning Droplets onto Superhydrophobic Surfaces: Asymmetric Tumbling Rapid Rebound
The impact dynamics of spinning droplets onto superhydrophobic surfaces was studied by using Volume-of-Fluid simulations, covering broad ranges of Weber number ($We$) and dimensionless angular velocity ($\mathitΩ$). The omputational results were validated by high-speed imaging experiments, with particular focus on the types of rebound, asymmetric deformation, and droplet-wall contact time. Results show that, the spinning motion of droplets leads to two novel rebound scenarios. Specificially, t…

The four types of imagination and how they create our worlds https://www.newscientist.com/article/2480349-the-four-types-of-imagination-and-how-they-create-our-worlds/ (archived at

The four types of imagination and how they create our worlds
Your imagination isn't just one thing. The latest neuroscience is untangling just how diverse this faculty really is, says cognitive neurologist Adam Zeman

The Supreme court ruled
in Humphrey’s Executor v. United States
that the Constitution did not grant the president an “illimitable power of removal,”
at least over certain types of officials.
This included the head of the Federal Trade Commission, whose firing by President Franklin Roosevelt had sparked the case.
Humphrey’s Executor stood basically untouched for decades, until Justices John Roberts and Samuel Alito – both of whom had previously served in the exe…

Supreme Court ignores precedent instead of overruling it in allowing president to fire officials whom Congress tried to make independent
Can the president fire leaders of more than 50 independent agencies overseen by Congress because he wants to? The Supreme Court may say yes, upending decades of constitutional law.

Oopsie
„Tensions erupted at the Rafah crossing as local Egyptians confronted far-left Western activists— described as "Greta Thunberg types" —who had gathered to "march on Gaza" and protest against Israel.
The mostly European demonstrators, accusing Israel of
"genocide," were met with fierce opposition from Egyptian locals, who pelted them with clubs and water bottles, forcing them back and halting their advance toward the border.“

Jewish Breaking News on Instagram: "🇪🇬😱Chaos Erupts in Egypt as Locals Clash with Western Pro-Ham@s Activists Near Gaza Border BREAKING: Tensions erupted at the Rafah crossing as local Egyptians confronted far-left Western activists—described as “Greta Thunberg types”—who had gathered to “march on Gaza” and protest against Israel. The mostly European demonstrators, accusing Israel of “genocide,” were met with fierce opposition from Egyptian locals, who pelted them with clubs and water bottles, forcing them back and halting their advance toward the border. Many of the activists have since taken to social media claiming they were beaten, had their passports stolen, and are now stranded in Egypt. Several are pleading online for help from their embassies. One Egyptian pundit remarked: “There’s a reason Egypt has a huge wall and doesn’t let any Gazans in. What made these people think they could just ‘march to Gaza’ via Egypt?” Egyptian authorities have yet to issue an official statement."
12K likes, 1,023 comments - jewishbreakingnews on June 13, 2025: "🇪🇬😱Chaos Erupts in Egypt as Locals Clash with Western Pro-Ham@s Activists Near Gaza Border BREAKING: Tensions erupted at the Rafah crossing as local Egyptians confronted far-left Western activists—described as “Greta Thunberg types”—who had gathered to “march on Gaza” and protest against Israel. The mostly European demonstrators, accusing Israel of “genocide,” were met with fierce opposition from Egyptia…

Stochastic Integration on Stochastic Sets of Interval Type and Applications to Mathematical Finance
Jia Yue, Ming-Hui Wang, Nan-Jing Huang
https://arxiv.org/abs/2506.15044

Stochastic Integration on Stochastic Sets of Interval Type and Applications to Mathematical Finance
In the existing works, stochastic sets $\mathbb{B}$ of interval type, along with $\mathbb{B}$-stochastic processes, were introduced within the framework of stochastic analysis. In this paper, we undertake the construction of $\mathbb{B}$-stochastic integration by exploring three novel types of $\mathbb{B}$-stochastic integrals: Stieltjes integrals of $\mathbb{B}$-predictable processes with respect to $\mathbb{B}$-adapted processes with finite variation, stochastic integrals of $\mathbb{B}$-pred…

$2$-representation infinite algebras from non-abelian subgroups of $\operatorname{SL}_3$. Part II: Central extensions and exceptionals
Darius Dramburg
https://arxiv.org/abs/2507.12923

$2$-representation infinite algebras from non-abelian subgroups of $\operatorname{SL}_3$. Part II: Central extensions and exceptionals
Let $G \leq \operatorname{SL}_3(\mathbb{C})$ be a non-trivial finite group, acting on $R = \mathbb{C}[x_1, x_2, x_3]$. We continue our investigation from arXiv:2505.10683 [math.RT] into when the resulting skew-group algebra $R \ast G$ is a $3$-preprojective algebra of a $2$-representation infinite algebra. We consider the subgroups arising from $\operatorname{GL}_2(\mathbb{C}) \hookrightarrow \operatorname{SL}_3(\mathbb{C})$, called type (B), as well as the exceptional subgroups, called types (…

Neural Functions for Learning Periodic Signal
Woojin Cho, Minju Jo, Kookjin Lee, Noseong Park
https://arxiv.org/abs/2506.09526 https://

Neural Functions for Learning Periodic Signal
As function approximators, deep neural networks have served as an effective tool to represent various signal types. Recent approaches utilize multi-layer perceptrons (MLPs) to learn a nonlinear mapping from a coordinate to its corresponding signal, facilitating the learning of continuous neural representations from discrete data points. Despite notable successes in learning diverse signal types, coordinate-based MLPs often face issues of overfitting and limited generalizability beyond the train…

Boundedness of Hausdorff-type operators with two-variable kernels on Lebesgue spaces
A. R. Mirotin
https://arxiv.org/abs/2506.14333 https://

Boundedness of Hausdorff-type operators with two-variable kernels on Lebesgue spaces
A general concept of a Hausdorff-type operator that absorbs all types of operators bearing the name `` Hausdorff operator'' and many others is considered. The characteristic features of this concept are the consideration of kernels depending on an external variable and the action between two arbitrary different sets. Generalizations and analogs of classical results on $L^p$ boundedness of various type of Hausdorff operators are proved for the case of such operators.

Russia launched over 1800 drones on Ukraine in one week, Zelensky says: https://benborges.xyz/2025/07/13/russia-launched-over-drones-on.html

Understanding the Issue Types in Open Source Blockchain-based Software Projects with the Transformer-based BERTopic
Md Nahidul Islam Opu, Md Shahidul Islam, Sara Rouhani, Shaiful Chowdhury
https://arxiv.org/abs/2506.11451

Understanding the Issue Types in Open Source Blockchain-based Software Projects with the Transformer-based BERTopic
Blockchain-based software systems are increasingly deployed across diverse domains, yet a systematic understanding of their development challenges remains limited. This paper presents a large-scale empirical study of 497,742 issues mined from 1,209 open-source blockchain projects hosted on GitHub. Employing BERTopic, a transformer-based topic modeling technique, we identify 49 distinct issue topics and organize them hierarchically into 11 major subcategories. Our analysis reveals that both gene…

Beyond One-Size-Fits-All: A Study of Neural and Behavioural Variability Across Different Recommendation Categories
Georgios Koutroumpas, Sebastian Idesis, Mireia Masias Bruns, Carlos Segura, Joemon M. Jose, Sergi Abadal, Ioannis Arapakis
https://arxiv.org/abs/2506.13409

Beyond One-Size-Fits-All: A Study of Neural and Behavioural Variability Across Different Recommendation Categories
Traditionally, Recommender Systems (RS) have primarily measured performance based on the accuracy and relevance of their recommendations. However, this algorithmic-centric approach overlooks how different types of recommendations impact user engagement and shape the overall quality of experience. In this paper, we shift the focus to the user and address for the first time the challenge of decoding the neural and behavioural variability across distinct recommendation categories, considering more…

New life goals: get invited to TYPES.
Not to do any type theory, you all have that covered. I just want to hang out with all the cool ppl.

Intrinsic Annealing in a Hybrid Memristor-Magnetic Tunnel Junction Ising Machine
Mohammed Akib Iftakher, Hugo Levices, Kamel-Eddine Harabi, Adrien Renaudineau, Mathieu-Coumba Faye, Corentin Bouchard, Florian Disdier, Bernard Viala, Elisa Vianello, Philippe Talatchian, Kevin Garello, Damien Querlioz, Louis Hutin
https://arxiv.org…

Intrinsic Annealing in a Hybrid Memristor-Magnetic Tunnel Junction Ising Machine
Hardware implementations of the Ising model offer promising solutions to large-scale optimization tasks. In the literature, various nanodevices have been shown to emulate the spin dynamics for such Ising machines with remarkable effectiveness. Other nanodevices have been shown to implement spin-spin coupling with compact footprint and minimal energy dissipation. However, an ideal Ising machine would associate both types of nanodevices, and they must operate synergistically to support annealing:…

New Types of Hydrogenlike matter Composed of Electron(s) and Meson(s)
Jun-Feng Wang, Zi-Yue Cui, Cheng-Qun Pang, Zhi-Feng Sun
https://arxiv.org/abs/2506.06983

New Types of Hydrogenlike matter Composed of Electron(s) and Meson(s)
In the present work, we predict the existence of new types of hydrogenlike matter, including hydrogenlike atoms ($π^+e^-$, $K^+e^-$, $D^+e^-$), hydrogenlike molecular ions ($π^+π^+e^-$, $K^+K^+e^-$, $D^+D^+e^-$) and hydrogenlike molecules ($π^+π^+e^-e^-$, $K^+K^+e^-e^-$, $D^+D^+e^-e^-$). By solving the Schrödinger equation, the binding energy of hydrogenlike atoms is obtained as $E_n=-\frac{1}{2n^2}$. For hydrogenlike molecular ions and molecules, the variational method is employed to cal…

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
Iman Poernomo
https://arxiv.org/abs/2506.09671 https://arxiv.o…

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
We introduce Dynamic Homotopy Type Theory (DHoTT), a temporal extension of Homotopy Type Theory (HoTT) designed to reason formally about concepts whose meanings evolve continuously or rupture discontinuously over time. While traditional HoTT captures identity and equivalence within a fixed semantic landscape, DHoTT enriches this framework by explicitly indexing types with a temporal parameter, allowing types themselves to deform, rupture, and reassemble as contexts shift. Formally, we show th…

#PSA: As someone who types the word SpamAssassin on a regular basis, assure you that yes, it is ‘ass ass in’ and ‘ass ass I nation"
Despite what the trending hashtags say.

Directional Measurements and Analysis for FR3 Low-Altitude Channels in a Campus Environment
Yulu Guo, Tongjia Zhang, Xiangwen Gu, Shu Sun, Meixia Tao, Ruifeng Gao
https://arxiv.org/abs/2507.11846

Directional Measurements and Analysis for FR3 Low-Altitude Channels in a Campus Environment
In this paper, we present detailed low-altitude channel measurements at the FR3 band in an outdoor campus environment. Using a time-domain channel sounder system, we conduct two types of measurements: path loss measurements by moving the transmitter (Tx) at one-meter intervals along a 26-point rooftop path, and directional power angular spectrum measurements through antenna scanning at half-power beam width intervals. The path loss analysis across different Rx shows that the close-in model outp…

Last week one of my milkweeds was covered with several large, healthy-looking, Monarch caterpillars.
The caterpillars ate all of the leaves, thus leaving them hungry and quite visible to the many birds in our area.
The birds ate all of the Monarch caterpillars.
We have about a half dozen milkweeds - mostly the California native types - around the house. I will plant more, especially the type that was devoured by the caterpillars, but I will cover them with bird netting.

Gwen Snyder posted something on Saturday to the effect that “Fascists •need• the appearance of strength, and right now, Trump just looks weak.”
I think it’s easy for us evidence-hungry thinker types to underestimate just how much appearance matters. Massive rallies are not — •must• not be — the endpoint of resistance. However, neither are they purely symbolic. They have a real and concrete effect. They change perceptions, which change human behavior. Yes, they matter. They matter a lot.
/end

A majority of six of the 11 judges on Brazil's Supreme Court have voted to hold social media companies liable for some types of users' content seen as illegal (Ricardo Brito/Reuters)
https://www.reuters.com/world/americas/…

An advanced reliability reserve incentivizes flexibility investments while safeguarding the electricity market
Franziska Klaucke, Karsten Neuhoff, Alexander Roth, Wolf-Peter Schill, Leon Stolle
https://arxiv.org/abs/2506.14664

An advanced reliability reserve incentivizes flexibility investments while safeguarding the electricity market
To ensure security of supply in the power sector, many countries are already using or discussing the introduction of capacity mechanisms. Two main types of such mechanisms include capacity markets and capacity reserves. Simultaneously, the expansion of variable renewable energy sources increases the need for power sector flexibility, for which there are promising yet often under-utilized options on the demand side. In this paper, we analyze how a centralized capacity market and an advanced reli…

Learning, fast and slow: a two-fold algorithm for data-based model adaptation
Laura Boca de Giuli, Alessio La Bella, Riccardo Scattolini
https://arxiv.org/abs/2507.12187

Learning, fast and slow: a two-fold algorithm for data-based model adaptation
This article addresses the challenge of adapting data-based models over time. We propose a novel two-fold modelling architecture designed to correct plant-model mismatch caused by two types of uncertainty. Out-of-domain uncertainty arises when the system operates under conditions not represented in the initial training dataset, while in-domain uncertainty results from real-world variability and flaws in the model structure or training process. To handle out-of-domain uncertainty, a slow learnin…

Just a quick snap from today's bike and hike.
I'm a bit done now. Photos and video will come later.
#photography #naturephotography #landscapephotography

I have my share of issues with Parkrose Permaculture, but she has a lot of things I do strongly agree with. I can't stress enough that you never dehumanize your enemies. You can respond appropriately to violence. You can defend yourself from them by any means necessary. But you do not dehumanize them. You always limit your response to the minimum necessary to defend yourself.
There are a number of former Nazi skins who became antifascists after realizing they were wrong. Those folks tend to be some of the most dedicated because they feel a debt, and some of the most knowledgeable because they were there. Coming out of these types of cults, police included, is hard and takes time. A lot of us don't have the ability to work with them. But some do.
By repeatedly humanizing your opponent, you can break some of them. The #Seattle Police Department was not defunded but saw a massive reduction in numbers because their morale was destroyed. Some people will never change. Some people are broken and feel like they need the power. But if you change one person's mind, even give them something to think about, it's a crack. If even one cop quits, that's one less trained gun pointed at you in the future.
The 18 year old marines and federalized national guard troops out there are literally kids. A lot of them came from poor communities. They are being used in a way they haven't been trained to do, doing things they (should) have been told are not legal. They joined to get out of poverty, to go to college, or to "defend the American people" (regardless of how misguided that is). Few, if any, of them joined to abuse people. They will be especially open to persuasion.
Remind those troops that they are carrying out illegal orders, that they are being called on to violate their oath to protect the constitution, that they are suppressing the free speech of the fellow Americans they swore to defend. Remind them that the people they could be illegally arresting now are just like their parents, their neighbors, their families, the friends who didn't join. Remind them that this is the first step. They will be called on to kill Americans if they let this keep going.
Remind them ICE sleeps in hotels while they sleep on the ground. Remind them that their drunk and incompetent leadership thinks of them as disposable tools. Remind them that some of these people are out protesting *for them* against cuts to the VA and other services. Remind them that the people they're defending refuse to make college free so they can recruit from poor schools. Remind them that they will always be welcome when they're ready to join the side of freedom and justice.
When you dehumanize your enemies, you unify them. When you humanize your enemies, you can divide them. There is no weapon available to us right now so powerful as compassion.
https://youtu.be/YtWOYUDMsBw

Working on a kanban-ish board to track the different kinds of content in my PL book and course as I think about a rewrite, and I can see why … I need a board. (Not sure it's helping!)

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…

Crell/Serde 1.5 has been released, now with support for union, intersection, and compound types!
Full details on the blog:
https://www.garfieldtech.com/blog/serde-15
Thanks to my employer, MakersHub, for sponsoring these improvements.

Enhancing Traffic Accident Classifications: Application of NLP Methods for City Safety
Enes \"Ozeren, Alexander Ulbrich, Sascha Filimon, David R\"ugamer, Andreas Bender
https://arxiv.org/abs/2506.12092

Enhancing Traffic Accident Classifications: Application of NLP Methods for City Safety
A comprehensive understanding of traffic accidents is essential for improving city safety and informing policy decisions. In this study, we analyze traffic incidents in Munich to identify patterns and characteristics that distinguish different types of accidents. The dataset consists of both structured tabular features, such as location, time, and weather conditions, as well as unstructured free-text descriptions detailing the circumstances of each accident. Each incident is categorized into on…

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Hiromi Ishii (Jij, Inc), Taro Shimizu (Jij, Inc), Toshiki Teramura (Jij, Inc)
https://arxiv.org/abs/2506.06495

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
In solving mathematical optimization problems efficiently, it is crucial to make use of information about specific types of constraints, such as the one-hot or Special-Ordered Set (SOS) constraints. In many cases, exploiting such information gives asymptotically better execution time. JijModeling, an industrial-strength mathematical optimization modeller, achieves this by separating the symbolic representation of an optimization problem from the input data. In this paper, we will report a real-…

Simple ways of preparing qudit Dicke states
Noah B. Kerzner, Federico Galeazzi, Rafael I. Nepomechie
https://arxiv.org/abs/2507.13308 https://

Simple ways of preparing qudit Dicke states
Dicke states are permutation-invariant superpositions of qubit computational basis states, which play a prominent role in quantum information science. We consider here two higher-dimensional generalizations of these states: $SU(2)$ spin-$s$ Dicke states and $SU(d)$ Dicke states. We present various ways of preparing both types of qudit Dicke states on a qudit quantum computer, using two main approaches: a deterministic approach, based on exact canonical matrix product state representations; and …

Andrews--Gordon and Stanton type identities: bijective and Bailey lemma approaches
Jehanne Dousse, Jihyeug Jang, Fr\'ed\'eric Jouhet
https://arxiv.org/abs/2507.13239

Andrews--Gordon and Stanton type identities: bijective and Bailey lemma approaches
In 2018, Stanton proved two types of generalisations of the celebrated Andrews--Gordon and Bressoud identities (in their $q$-series version): one with a similar shape to the original identities, and one involving binomial coefficients. In this paper, we give new proofs of these identities. For the non-binomial identities, we give bijective proofs using the original Andrews--Gordon and Bressoud identities as key ingredients. These proofs are based on particle motion introduced by Warnaar and ext…

from my link log —
Logarithms of algebraic data types for property-based testing.
https://dl.acm.org/doi/abs/10.1145/3498726
saved 2025-04-25

ObfusBFA: A Holistic Approach to Safeguarding DNNs from Different Types of Bit-Flip Attacks
Xiaobei Yan, Han Qiu, Tianwei Zhang
https://arxiv.org/abs/2506.10744

ObfusBFA: A Holistic Approach to Safeguarding DNNs from Different Types of Bit-Flip Attacks
Bit-flip attacks (BFAs) represent a serious threat to Deep Neural Networks (DNNs), where flipping a small number of bits in the model parameters or binary code can significantly degrade the model accuracy or mislead the model prediction in a desired way. Existing defenses exclusively focus on protecting models for specific attacks and platforms, while lacking effectiveness for other scenarios. We propose ObfusBFA, an efficient and holistic methodology to mitigate BFAs targeting both the high-le…

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
Yanzhen Zou, Xianlin Zhao, Xinglu Pan, Bing Xie
https://arxiv.org/abs/2506.14649

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
Issue reports have been recognized to contain rich information for retrieval-augmented code comment generation. However, how to minimize hallucinations in the generated comments remains significant challenges. In this paper, we propose IsComment, an issue-based LLM retrieval and verification approach for generating method's design rationale, usage directives, and so on as supplementary code comments. We first identify five main types of code supplementary information that issue reports can prov…

Towards Reliable WMH Segmentation under Domain Shift: An Application Study using Maximum Entropy Regularization to Improve Uncertainty Estimation
Franco Matzkin, Agostina Larrazabal, Diego H Milone, Jose Dolz, Enzo Ferrante
https://arxiv.org/abs/2506.14497

Towards Reliable WMH Segmentation under Domain Shift: An Application Study using Maximum Entropy Regularization to Improve Uncertainty Estimation
Accurate segmentation of white matter hyperintensities (WMH) is crucial for clinical decision-making, particularly in the context of multiple sclerosis. However, domain shifts, such as variations in MRI machine types or acquisition parameters, pose significant challenges to model calibration and uncertainty estimation. This study investigates the impact of domain shift on WMH segmentation by proposing maximum-entropy regularization techniques to enhance model calibration and uncertainty estimat…

Not good.
✅ Which Types of Government Rule the World?
https://www.visualcapitalist.com/sp/in01-which-types-of-government-rule-the-world/

Dependent Types Simplified
Tristan Bice
https://arxiv.org/abs/2507.04071 https://arxiv.org/pdf/2507.04071

Dependent Types Simplified
We present two logical systems based on dependent types that are comparable to ZFC, both in terms of simplicity and having natural set theoretic interpretations. Our perspective is that of a mathematician trained in classical logic, but nevertheless we hope this paper might go some way to bridging the cultural divide between type theorists coming from computer science.

student_cooperation: Student cooperation (2012)
Network of cooperation among students in the "Computer and Network Security" course at Ben-Gurion University, in 2012. Nodes are students, and edges denote cooperation between students while doing their homework. The graph contains three types of links: Time, Computer, Partners.
This network has 185 nodes and 360 edges.
Tags: Social, Offline, Multigraph, Unweighted

A lot of the design work that goes into programming languages and tools is about prompting developers to •think about meaning•: tests, types, scope, compile errors, runtime errors — all about •preventing code from running• in the presence of an expectation/reality mismatch.
I’m always on high alert for tools that promise to speed development by letting developers skip the thinking.
5/

on my blog!
a TIL post about the algebra of dependent types
https://dotat.at/@/2025-05-28-types.html

Integrating Radiomics with Deep Learning Enhances Multiple Sclerosis Lesion Delineation
Nadezhda Alsahanova, Pavel Bartenev, Maksim Sharaev, Milos Ljubisavljevic, Taleb Al. Mansoori, Yauhen Statsenko
https://arxiv.org/abs/2506.14524

Integrating Radiomics with Deep Learning Enhances Multiple Sclerosis Lesion Delineation
Background: Accurate lesion segmentation is critical for multiple sclerosis (MS) diagnosis, yet current deep learning approaches face robustness challenges. Aim: This study improves MS lesion segmentation by combining data fusion and deep learning techniques. Materials and Methods: We suggested novel radiomic features (concentration rate and Rényi entropy) to characterize different MS lesion types and fused these with raw imaging data. The study integrated radiomic features with imaging da…

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
https://arxiv.org/abs/2506.06078

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe forms of process substitution while preserving their compatibility with the rest of the system. Recently, a fair refinement relation for asynchronous session types has been defined allowing the anticipation of message outputs with respect to an unbounded number of message inputs. This refinement is useful to capture com…

high_tech_company: Krackhardt high tech company network
Multiplex network of 3 edge types representing relationships (advice, friendship, and “reports to”) between managers of a high-tech company. Data hosted by Manlio De Domenico.
This network has 21 nodes and 312 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://

I'd venture this backlash isn’t just because of one Epstein PR mistake. It’s because Trump smells weak and vulnerable, and his supporters are looking for an exit. The MAGA types loved Trump because he made them feel like winners. And right now he doesn’t.
That doesn't mean we win, yay, time to kick back. His supporters are in an abusive relationship, and they will find it hard to leave.
What this means is − keep the pressure up. ←
Worth skimming this whole roundup from @…. I just don't think the backlash happens without larger underlying weakness.
#uspol https://toad.social/@wdlindsy/114851991461182777

BRISC: Annotated Dataset for Brain Tumor Segmentation and Classification with Swin-HAFNet
Amirreza Fateh, Yasin Rezvani, Sara Moayedi, Sadjad Rezvani, Fatemeh Fateh, Mansoor Fateh
https://arxiv.org/abs/2506.14318

BRISC: Annotated Dataset for Brain Tumor Segmentation and Classification with Swin-HAFNet
Accurate segmentation and classification of brain tumors from Magnetic Resonance Imaging (MRI) remain key challenges in medical image analysis, largely due to the lack of high-quality, balanced, and diverse datasets. In this work, we present a new curated MRI dataset designed specifically for brain tumor segmentation and classification tasks. The dataset comprises 6,000 contrast-enhanced T1-weighted MRI scans annotated by certified radiologists and physicians, spanning three major tumor types-g…

Sums of Schubert structure constants with bounded Coxeter length
Ada Stelzer
https://arxiv.org/abs/2506.13684 https://arxiv.org/pdf/2…

Sums of Schubert structure constants with bounded Coxeter length
Pak-Robichaux recently introduced a signed puzzle rule for Schubert structure constants, which they use to show that sums $γ_k(n)$ of these constants with a bounded number of inversions are polynomial. We give a different, conceptual proof of their theorem. Our argument computes the lead term of $γ_k(n)$ and extends to all classical Lie types.

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

(Footnote: code that only has to run once is a different beast from code that has to work in a production environement. I’ve noticed a mismatch between data science / research types using LLMs to jump start one-off code and developers writing code for unknown end users / prod env. Serious pitfalls in both cases, but different pitfalls. Understanding that mismatch may help some of these conversation be less unreasonable!)
8/

Deadlock-free Context-free Session Types
Andreia Mordido, Jorge A. P\'erez
https://arxiv.org/abs/2506.20356 https://arxiv.org/pdf…

Deadlock-free Context-free Session Types
We consider the problem of statically ensuring that message-passing programs never run into deadlocks. We focus on concurrent functional programs governed by context-free session types, which can express rich tree-like structures not expressible in standard session types. Existing techniques based on context-free session types enforce protocol conformance but not deadlock freedom. We propose a type system that enhances context-free session types with a priority-based approach to deadlock freedo…

7th_graders: Vickers 7th Graders (1981)
A small multiplex network of friendships among 29 seventh grade students in Victoria, Australia. Students nominated classmates for three different activities (who do you get on with in the class, who are your best friends, and who would you prefer to work with). Edge direction for each of these three types of edges indicates if node i nominated node j, and the edge weight gives the frequency of this nomination. Students 1-12 are boys and 13-29 ar…

MultiViT2: A Data-augmented Multimodal Neuroimaging Prediction Framework via Latent Diffusion Model
Bi Yuda, Jia Sihan, Gao Yutong, Abrol Anees, Fu Zening, Calhoun Vince
https://arxiv.org/abs/2506.13667

MultiViT2: A Data-augmented Multimodal Neuroimaging Prediction Framework via Latent Diffusion Model
Multimodal medical imaging integrates diverse data types, such as structural and functional neuroimaging, to provide complementary insights that enhance deep learning predictions and improve outcomes. This study focuses on a neuroimaging prediction framework based on both structural and functional neuroimaging data. We propose a next-generation prediction model, \textbf{MultiViT2}, which combines a pretrained representative learning base model with a vision transformer backbone for prediction o…

SUSEP-Net: Simulation-Supervised and Contrastive Learning-based Deep Neural Networks for Susceptibility Source Separation
Min Li, Chen Chen, Zhenghao Li, Yin Liu, Shanshan Shan, Peng Wu, Pengfei Rong, Feng Liu, G. Bruce Pike, Alan H. Wilman, Hongfu Sun, Yang Gao
https://arxiv.org/abs/2506.13293

SUSEP-Net: Simulation-Supervised and Contrastive Learning-based Deep Neural Networks for Susceptibility Source Separation
Quantitative susceptibility mapping (QSM) provides a valuable tool for quantifying susceptibility distributions in human brains; however, two types of opposing susceptibility sources (i.e., paramagnetic and diamagnetic), may coexist in a single voxel, and cancel each other out in net QSM images. Susceptibility source separation techniques enable the extraction of sub-voxel information from QSM maps. This study proposes a novel SUSEP-Net for susceptibility source separation by training a dual-br…

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…

genetic_multiplex: Multiplex genetic interactions (2014)
Multiplex networks representing different types of genetic interactions, for different organisms. Layers represent (i) physical, (ii) association, (iii) co-localization, (iv) direct, and (v) suppressive, (vi) additive or synthetic genetic interaction. Edge direction (i,j) indicates gene i interacting with gene j.
This network has 461 nodes and 620 edges.
Tags: Biological, Gene regulation, Protein interactions, Unweigh…

genetic_multiplex: Multiplex genetic interactions (2014)
Multiplex networks representing different types of genetic interactions, for different organisms. Layers represent (i) physical, (ii) association, (iii) co-localization, (iv) direct, and (v) suppressive, (vi) additive or synthetic genetic interaction. Edge direction (i,j) indicates gene i interacting with gene j.
This network has 461 nodes and 620 edges.
Tags: Biological, Gene regulation, Protein interactions, Unweigh…

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…

high_tech_company: Krackhardt high tech company network
Multiplex network of 3 edge types representing relationships (advice, friendship, and “reports to”) between managers of a high-tech company. Data hosted by Manlio De Domenico.
This network has 21 nodes and 312 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://

genetic_multiplex: Multiplex genetic interactions (2014)
Multiplex networks representing different types of genetic interactions, for different organisms. Layers represent (i) physical, (ii) association, (iii) co-localization, (iv) direct, and (v) suppressive, (vi) additive or synthetic genetic interaction. Edge direction (i,j) indicates gene i interacting with gene j.
This network has 8215 nodes and 43367 edges.
Tags: Biological, Gene regulation, Protein interactions, Unwe…