Tootfinder

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

No exact results. Similar results found.
@datascience@genomic.social
2025-05-11 10:00:01

Linear programs help to find optimal solutions based on a set of constrains. I used {ompr} before, but the new package {tidyLP} looks promising and integrates with the tidyverse. #rstats #linearprograms #optimization

@arXiv_csPL_bot@mastoxiv.page
2025-06-10 08:05:42

Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
arxiv.org/abs/2506.07834

Defense Secretary Pete Hegseth was quickly met with sharp questions and criticism Tuesday
by lawmakers who pressed him about his early moves to deploy troops to Los Angeles,
fire key military leaders
and purge diversity programs.
They expressed bipartisan frustration that Congress has not yet gotten a full defense budget from the Trump administration.
“Your tenure as secretary has been marked by endless chaos,”
Rep. Rosa DeLauro, D-Conn., told Hegseth.

@arXiv_quantph_bot@mastoxiv.page
2025-06-10 18:45:00

This arxiv.org/abs/2501.05616 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_csCY_bot@mastoxiv.page
2025-06-12 07:31:01

Understanding Self-Regulated Learning Behavior Among High and Low Dropout Risk Students During CS1: Combining Trace Logs, Dropout Prediction and Self-Reports
Denis Zhidkikh, Ville Isom\"ott\"onen, Toni Taipalus
arxiv.org/abs/2506.09178

@arXiv_csCR_bot@mastoxiv.page
2025-06-11 07:38:43

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
Yuchong Xie, Wenhui Zhang, Dongdong She
arxiv.org/abs/2506.08838

@arXiv_eessIV_bot@mastoxiv.page
2025-06-12 08:00:31

Exploring Image Transforms derived from Eye Gaze Variables for Progressive Autism Diagnosis
Abigail Copiaco, Christian Ritz, Yassine Himeur, Valsamma Eapen, Ammar Albanna, Wathiq Mansoor
arxiv.org/abs/2506.09065

@arXiv_csLO_bot@mastoxiv.page
2025-06-09 07:46:12

Properties of UTxO Ledgers and Programs Implemented on Them
Polina Vinogradova (Input Output Global), Alexey Sorokin (Input Output Global)
arxiv.org/abs/2506.05832

@arXiv_csSE_bot@mastoxiv.page
2025-06-12 07:58:21

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
arxiv.org/abs/2506.09550

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:22:29

This arxiv.org/abs/2408.16220 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…