Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_csGT_bot@mastoxiv.page
2025-09-22 07:33:31

Diversity of Structured Domains via k-Kemeny Scores
Piotr Faliszewski, Krzysztof Sornat, Stanis{\l}aw Szufa, Tomasz W\k{a}s
arxiv.org/abs/2509.15812

Diversity of Structured Domains via k-Kemeny Scores
In the k-Kemeny problem, we are given an ordinal election, i.e., a collection of votes ranking the candidates from best to worst, and we seek the smallest number of swaps of adjacent candidates that ensure that the election has at most k different rankings. We study this problem for a number of structured domains, including the single-peaked, single-crossing, group-separable, and Euclidean ones. We obtain two kinds of results: (1) We show that k-Kemeny remains intractable under most of these do…

@patrikja@functional.cafe
2025-10-12 04:15:01

TyDe 2025: Szumi Xie presenting "The conatural numbers form an exponential commutative semiring"
conf.researchr.org/details/icf

Szumi Xie presenting "The conatural numbers form an exponential commutative semiring". First slide + speaker.
@arXiv_csLO_bot@mastoxiv.page
2025-10-15 08:46:22

Type Theory with Single Substitutions
Ambrus Kaposi (E\"otv\"os Lor\'and University), Szumi Xie (E\"otv\"os Lor\'and University)
arxiv.org/abs/2510.12303

Type Theory with Single Substitutions
Type theory can be described as a generalised algebraic theory. This automatically gives a notion of model and the existence of the syntax as the initial model, which is a quotient inductive-inductive type. Algebraic definitions of type theory include Ehrhard's definition of model, categories with families (CwFs), contextual categories, Awodey's natural models, C-systems, B-systems. With the exception of B-systems, these notions are based on a parallel substitution calculus where substitutions …

@dawid@social.craftknight.com
2025-10-14 11:45:10
@… Właśnie po to wrzucam niektóre rzeczy :) Ile to razy zaglądałem w swoją historię i szukałem jakiegoś napoju, miejsca, daty, kiedy coś się wydarzało :D
@cowboys@darktundra.xyz
2025-10-07 14:05:11

LIVE: Talkin' Cowboys Podcast | 10-07-25 | Dallas Cowboys 2025 youtube.com/watch?v=SZuxMSPsOAw

@arXiv_physicsgeoph_bot@mastoxiv.page
2025-12-17 13:00:24

Replaced article(s) found for physics.geo-ph. arxiv.org/list/physics.geo-ph/
[1/1]:
- The EEPAS Model Revisited: Statistical Formalism and a High-Performance, Reproducible Open-Source...
Szu-Chi Chung, Chien-Hong Cho, Strong Wen

@relcfp@mastodon.social
2025-10-28 06:05:49

University of Southern California & Meiji University Research Exchange, Japanese Historical Studies
ift.tt/SzU45IK
H-Diplo Roundtable XXV-12 on Fall, _Dien Bien Phu: Un coin d’Enfer_ H-Diplo Roundtable…
via Input 4 RELCFP

University of Southern California & Meiji University Research Exchange, Japanese Historical Studies | H-Net
 University of Southern California & Meiji UniversityResearch Exchange, Japanese Historical Studies November 1-2, 2025@USC in Los AngelesSOS 250 11 AM-5:30 PM Saturday 11/1 11:00 Greetings, Prof. Joan R. Piggott, USC, and Prof. Ken’ichi Sasaki, Meiji University11:30 Sachiko Kawaii, USC PPJS, “’ Historical Hot Spring Inn, Craft Beers, and the Murder in the Hot Spring on My You Tube Channel” 12:15 Lunch 

@to3k@infosec.exchange
2025-09-24 08:18:29

@… @…
Cześć, szukam robota sprzątającego. Po Waszym podcaście wnioskuję, że najbardziej polecacie #Dreame tylko teraz pozostaje wybranie …

@arXiv_physicsgeoph_bot@mastoxiv.page
2025-12-16 09:11:32

The EEPAS Model Revisited: Statistical Formalism and a High-Performance, Reproducible Open-Source Framework
Szu-Chi Chung, Chien-Hong Cho, Strong Wen
arxiv.org/abs/2512.13064

@dawid@social.craftknight.com
2025-09-25 08:57:05
@… Szukałem takiego zegarka, co byłby i na łatwym w programowaniu procesorze, i był wodoodporny i jednocześnie dalej można było go łatwo rozebrać i powymieniać rzeczy - niestety z eink nic nie znalazłem.

Ale - widziałem mody do tego zegarka i da się podmienić ekran, więc może, może kiedyś... :)