Tootfinder

16WW Energy Series Dataset - Data series of electricity and gas and other energy generation and use. #energy #microgen #dataset -

16WW Energy Series Dataset
Data series of electricity and gas and other energy generation and use. #energy #microgen #dataset

Europäer: Klassische Medien, KI-Detektoren und Staat müssen KI-Inhalte prüfen
KI macht es wesentlich einfacher, manipulierende Medien zu erstellen. Europäer informieren sich dadurch wieder mehr klassisch und setzen auf mehr Prüfende.

movielens_100k: MovieLens 100K (1998)
Three bipartite networks that make up the MovieLens 100K Dataset, a stable benchmark dataset of 100,000 ratings from 1000 users on 1700 movies. These data capture the tag-movie, user-movie, and user-tag networks. (Also available from MovieLens are 1M, 10M and 20M folksonomy datasets.).
This network has 24129 nodes and 95580 edges.
Tags: Informational, Folksonomy, Unweighted, Multigraph, Timestamps

Linking to Tipped and Overtime Income Deductions Would Worsen State Shortfalls, Do Little to Help Workers – ITEP
https://itep.org/tips-overtime-income-tax-deduction-state-budgets/

Obamacare Users Face Higher Deductibles, Higher Premiums (Reed Abelson/New York Times)
https://www.nytimes.com/2025/12/08/health/obamacare-deductibles-premiums-health-insurance.html
http://www.memeorandum.com/251208/p3#a251208p3

CosmicWatch - The Desktop #Muon Detector(v3X): https://arxiv.org/abs/2508.12111 -> UD physicist’s invention expands our knowledge of the universe, particle physics: https://www.udel.edu/udaily/2026/january/cosmicwatch-particle-detector-spencer-axani-cas/

Cowboy Roundup: Perfect option for CB woes, Dak Prescott dedication https://www.si.com/nfl/cowboys/onsi/news/perfect-option-dallas-cowboys-cb-woes-dak-prescott-dedication

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
Yang Xu, Xingxing He, Shuwei Chen, Jun Liu, Xiaomei Zhong
https://arxiv.org/abs/2510.08468

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
Automated deduction seeks to enable machines to reason with mathematical precision and logical completeness. Classical resolution-based systems, such as Prover9, E, and Vampire, rely on binary inference, which inherently limits multi-clause synergy during proof search. The Contradiction Separation Extension (CSE) framework, introduced by Xu et al. (2018), overcame this theoretical limitation by extending deduction beyond binary inference. However, the original work did not specify how contradic…

On 16WW Data Collections and Graphs - Open for research #dataset - https://www.earth.org.uk/note-on-data.html

On 16WW Data Collections and Graphs
Open for research #dataset

On 16WW Mains Inlet Water Temperature - Domestic mains water temperature data for 16WW on tap; seasonal min/max about 10C/20C in winter/summer. #dataset #water #temperature -

On 16WW Mains Inlet Water Temperature
Domestic mains water temperature data for 16WW on tap; seasonal min/max about 10C/20C in winter/summer. #dataset #water #temperature