Search Results - "ArXiv cs.IT Recent Papers"

Search alternatives:

  1. A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  2. A Complexity Dichotomy for Generalized Rainbow Matchings Based on Color Classes

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  3. Formal Primal-Dual Algorithm Analysis

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  4. On Threshold Compatibility Graphs

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  5. A hierarchy of edge-weight symmetries in perfect matchings

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  6. Completely Independent Steiner Trees

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  7. Moderately beyond clique-width: reduced component max-leaf and related parameters

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  8. Flow Shop Scheduling with Stochastic Reentry

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  9. Dirac's theorem and the switch geometry of perfect matchings

    Published in ArXiv cs.DM Recent Papers (2026)
    Subjects: “…ArXiv cs.DM Recent Papers…”
    Get full text
    Online Article RSS Article
  10. Measuring research data reuse in scholarly publications using generative artificial intelligence: Open Science Indicator development and preliminary results

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  11. Thinking like a business: Reconfiguring relationships to sustain open data infrastructures

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  12. Cross-lingual Comparison of Research Funding Projects with Multilingual Sentence-BERT: Evidence from KAKENHI, NIH, NSF, and UKRI

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  13. HalluCiteChecker: A Lightweight Toolkit for Hallucinated Citation Detection and Verification in the Era of AI Scientists

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  14. Do E-Scooter Speed Governance Policies Reduce Harsh Acceleration and Deceleration? Evidence from 19.5 Million Trips Around a Regulatory Ban

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  15. LLM-ReSum: A Framework for LLM Reflective Summarization through Self-Evaluation

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  16. Generating Synthetic Citation Networks with Communities

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  17. A contemporary science map through the lens of IEEE and ACM periodicals

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  18. CiteRadar: A Citation Intelligence Platform for Researcher Profiling and Geographic Visualization

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  19. Are Digital Humanities really committed to open? An exploratory study on the availability of methodological workflows and open peer review practices

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article
  20. The software space of science

    Published in ArXiv cs.DL Recent Papers (2026)
    Subjects: “…ArXiv cs.DL Recent Papers…”
    Get full text
    Online Article RSS Article