Skill UI

This comprehensive guide helps researchers defend their complex study designs—whether they involve lab experiments, large-scale surveys, or qualitative observations—against rigorous methodological critique. It emphasizes establishing a clear, credible link between theoretical mechanisms and empirical evidence, focusing specifically on the structure-individual link. It covers advanced inference techniques, identifying potential confounding variables, and articulating the design's limitations.

A comprehensive pre-submission checklist for authors preparing papers for TACAS/ETAPS. It guides users through selecting the correct paper category (research, tool, case-study), adhering to specific Springer LNCS page limits, managing double-blind vs. single-blind review rules, and correctly staging mandatory tool artifacts to ensure acceptance readiness.

This guide assists researchers in determining the optimal venue for their formal verification project. It helps decide whether the work belongs at TACAS (ETAPS) or a sibling conference (like CAV or VMCAI), depending on the emphasis (tool vs. theory), and guides the selection among the four distinct contribution categories (Research, Tool, Case-study, Demonstration).

This guide provides comprehensive rules for authors submitting research papers to verification experts (TACAS/LNCS). It emphasizes stating the core contribution immediately, explicitly claiming soundness or completeness, supporting empirical claims with fair and reproducible benchmarks, and aligning the paper structure with its specific category (research, tool, case study).

This skill provides a comprehensive guide for authors targeting The Cryosphere journal. It details the journal's scope (ice sheets, permafrost, sea ice), high methodological standards (FAIR data, uncertainty quantification), and the unique EGU interactive public peer-review process. Use this tool to determine if a cryospheric study is suitable for this specific open-access venue.

A comprehensive tool for assessing whether an econometric manuscript is suitable for submission to The Econometrics Journal (EctJ). It guides authors through evaluating methodological novelty, theoretical rigor, structural compliance, and adherence to high academic standards, covering everything from new estimators and inference procedures to house style and potential desk-reject risks. Use this skill when targeting a highly specialized economic journal or needing to re-frame an applied study into a theoretical methods contribution.

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.

This guide assists researchers in determining the suitability of their study for The Lancet Public Health. It outlines the scope, emphasizing population-level interventions, global epidemiology, and health policy. It details stringent requirements for methodology, reporting guidelines (STROBE, CONSORT, PRISMA), addressing biases, and adhering to specialized journal house styles and submission protocols.

This comprehensive guide is designed to help authors assess the methodological and theoretical suitability of their manuscript for Transportation Research Part B. It emphasizes that the core contribution must be a generalizable method, model, or theorem (e.g., in traffic flow, network optimization, or choice modeling), rather than a simple applied case study. Use this tool for venue selection, manuscript re-framing, and ensuring rigorous analytical justification.

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 researchers on how to effectively position academic contributions, particularly for top-tier development economics journals. It instructs users to move beyond merely stating a research topic (e.g., 'first to study X in Y') by framing their findings as generalizable claims about underlying mechanisms or quantitative gaps. Key focus areas include linking academic gaps to active development policy debates and strategically distinguishing the work from similar fields like JDE or World Development.