Tootfinder

tree-of-life: Protein interactomes across the tree of life (2019)
Protein-protein iteraction networks ("interactome") for 1,840 species. An interactome captures all physical protein-protein interactions within one species, from direct biophysical protein-protein interactions to regulatory protein-DNA and metabolic interactions. .
This network has 543 nodes and 1491 edges.
Tags: Biological, Protein interactions

Raiders’ Win Over Titans: Step Forward or Fool’s Gold? https://raiderramble.com/2025/10/14/raiders-win-over-titans-step-forward-or-fools-gold/

A time-space B-spline integrator for the Burgers' equation
Idris Dag, Serkan U\u{g}urluo\u{g}lu, Nihat Adar
https://arxiv.org/abs/2510.09408 https://ar…

A time-space B-spline integrator for the Burgers' equation
The purpose of this paper is to propose a new algorithm for obtaining approximate solutions to the Burgers' equation (BE). Integration in time by a quadratic B-spline collocation method is shown. To the best of our knowledge, B-splines have not previously been used to integrate partial differential equations in both time and space. First, the BE is integrated using quadratic B-spline functions in time, and then the time-integrated BE is further solved in space via the cubic B-spline collocation…

tree-of-life: Protein interactomes across the tree of life (2019)
Protein-protein iteraction networks ("interactome") for 1,840 species. An interactome captures all physical protein-protein interactions within one species, from direct biophysical protein-protein interactions to regulatory protein-DNA and metabolic interactions. .
This network has 971 nodes and 4170 edges.
Tags: Biological, Protein interactions

Dependent-Type-Preserving Memory Allocation
Paulette Koronkevich, William J. Bowman
https://arxiv.org/abs/2509.09059 https://arxiv.org/pdf/2509.09059

Dependent-Type-Preserving Memory Allocation
Dependently typed programming languages such as Coq, Agda, Idris, and F*, allow programmers to write detailed specifications of their programs and prove their programs meet these specifications. However, these specifications can be violated during compilation since they are erased after type checking. External programs linked with the compiled program can violate the specifications of the original program and change the behavior of the compiled program -- even when compiled with a verified comp…

Raiders Pre-Game Notes—Week 2, Brock Bowers Playing? https://raiderramble.com/2025/09/13/raiders-pre-game-notes-week-2-brock-bowers-playing/

drosophila_flybi: Fruit fly protein interactions (Drosophila melanogaster)
Binary protein-protein interactions (PPIs) for Drosophila melanogaster, containing 8723 PPIs among 2939 proteins. The iteractions were identified using a yeast two-hybrid (Y2H) analysis.
This network has 2939 nodes and 8723 edges.
Tags: Biological, Protein interactions, Unweighted

Raiders Pre-Game Notes—Week 6, A Win Finally Incoming? https://raiderramble.com/2025/10/12/raiders-pre-game-notes-week-6-a-win-finally-incoming/

drosophila_flybi: Fruit fly protein interactions (Drosophila melanogaster)
Binary protein-protein interactions (PPIs) for Drosophila melanogaster, containing 8723 PPIs among 2939 proteins. The iteractions were identified using a yeast two-hybrid (Y2H) analysis.
This network has 2939 nodes and 8723 edges.
Tags: Biological, Protein interactions, Unweighted

Game Recap: Raiders play complete game against Titans, winning in commanding fashion https://www.raiders.com/news/game-recap-raiders-play-complete-game-against-titans-winning-in-commanding-fashion