Skill UI

This skill provides a comprehensive assessment framework for submitting manuscripts to the journal 'Systems Engineering Theory and Practice.' It helps researchers determine the manuscript's fit, required methodological depth (e.g., modeling, algorithms), structural adherence, and potential revision paths. It serves as a crucial guide to meet the high academic standards of a specialized systems engineering publication.

This guide outlines the rigorous process for submitting and evaluating research artifacts for academic conferences (TACAS/ETAPS). It details the mandatory two-round evaluation system, covering tool-demonstration papers and general research case studies. Authors must package their work to achieve badges like Available, Functional, and Reusable, ensuring maximum reproducibility and environmental compatibility on a clean virtual machine.

A comprehensive guide for authors targeting The Astrophysical Journal (ApJ) or its Letters companion (ApJL). It helps determine manuscript fit, ensures methodological rigor, and outlines house style requirements, covering everything from data availability and systematic uncertainty analysis to article length limitations. This tool assists in structuring high-quality, archival-grade astrophysics research papers.

A comprehensive guide to assessing whether a mental health or psychiatry study is suitable for publication in The Lancet Psychiatry. It details the journal's high standards, focusing on large-scale population/epidemiological analyses, policy relevance, and rigorous methodology (e.g., RCTs, cohort studies). The skill helps authors re-frame their research question to meet global health and system-level impact requirements, covering reporting guidelines (CONSORT/STROBE/PRISMA) and submission structure.

A comprehensive guide for structuring and positioning computer science manuscripts for The Web Conference (WWW). It advises authors on leveraging open-web data, focusing on web systems, web mining, and responsible AI, while adhering to the latest venue-specific standards and evidence requirements.

This skill generates fully valid Microsoft Threat Modeling Tool (.tm7) files. It translates complex system architectures, including components, data stores, data flows, and external actors, into the required WCF DataContractSerializer XML format. Use it for structured STRIDE threat modeling outputs compatible with Microsoft's official tool.

Provides comprehensive guidelines for designing rigorous technical evaluations for interactive systems, specifically tailored for top-tier venues like UIST. It emphasizes matching evaluation methods to specific artifact claims, reporting distributions over means, closing the interaction loop, and performing thorough ablations against real-world baselines. This framework ensures the scientific rigor and credibility of submitted research.

This guide provides a rigorous methodology for achieving scientific reproducibility in technical and user experience papers (e.g., UIST). It details three essential 'ledgers': the Build Ledger (pinning software, hardware, and environment dependencies), the Measurement Ledger (defining precise protocols for metrics like latency and accuracy), and the Study Ledger (documenting human evaluation tasks). Following these protocols ensures that external researchers can accurately rebuild the artifact and validate reported results.

A comprehensive guide for producing the mandatory supplementary video figure for UIST submissions. This material treats the 3-minute video as core evidence, detailing requirements for resolution (1080p/4K), codec (H.264), and anonymity. It guides authors on scripting the video around key claims, ensuring uncut interaction loops, and maintaining academic rigor to convince reviewers of the system's reality.

A comprehensive guide for researchers determining if their Human-Computer Interaction (HCI) project contribution is an 'interface artifact' suitable for UIST, or if it belongs to a different venue like CHI or CSCW. It employs the 'artifact-subtraction test' to distinguish between technical system novelty and empirical user findings, ensuring proper conference submission routing.

This comprehensive guide manages the end-to-end project lifecycle for submitting a systems paper to the UIST conference. It structures the demanding timeline, detailing milestones from abstract submission and hardware development to video production, rebuttal, and final camera-ready submission, while also providing crucial risk mitigation strategies.

A comprehensive guide for authors submitting interactive system papers to UIST. It details the required narrative arc (walkthrough before mechanism), emphasizes technical specificity in implementation details, and provides rules for designing figures and structuring the argument within strict page limits.