Search every field

46 merged results for "Logical Methods in Computer Science"

Partial results: at least one source did not answer. Available results are shown rather than treating an upstream outage as zero matches.

Source status

  1. Automated Reasoning with Analytic Tableaux and Related Methods

    Author unknown · 2026

    uncertain Transparent signal score 52/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: open access. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  2. Computational Linguistics and Natural Language Processing

    Author unknown · 2024

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  3. Computer Aided Verification

    Author unknown · 2021

    uncertain Transparent signal score 52/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: open access. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  4. Evolutionary Computation

    Author unknown · 2009

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  5. Fuzzy Logic and Soft Computing – Dedicated to the Centenary of the Birth of Lotfi A. Zadeh (1921-2017)

    Author unknown · 2022

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  6. Fuzzy Logic

    Author unknown · 2012

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  7. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

    Author unknown · 2020

    uncertain Transparent signal score 52/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: open access. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  8. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

    Author unknown · 2021

    uncertain Transparent signal score 52/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: open access. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  9. Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

    Author unknown · 2024

    uncertain Transparent signal score 52/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: open access. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  10. Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

    Author unknown · 2025

    uncertain Transparent signal score 52/100 · policy 1.0.0

    Found in doab · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: open access. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  11. Shaping the Future of Mental Health Care with Artificial Intelligence: A Narrative Review

    Cunha M, Batista C, Lacerda G, Cardoso T · Eur Psychiatry

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in europe-pmc · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  12. The “Logic” of Emotion: Do Reasoning Models and Chain-of-Thought Prompting Improve GAI’s Non-Verbal Emotion Recognition?

    Dery H, Piterman D, Elyoseph Z, Refoua E · Eur Psychiatry

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in europe-pmc · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  13. Relating Structure and Power: Comonadic Semantics for Computational Resources

    Samson Abramsky, Nihil Shah · 2018

    uncertain Transparent signal score 51/100 · policy 1.0.0

    Found in hal · DOI 10.1007/978-3-030-00389-0_1

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  14. Utility-Scale Quantum Computational Chemistry.

    Castaldo D, Reiher M. · 2026 · J Phys Chem Lett

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1021/acs.jpclett.6c00888

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  15. Transversal fault tolerant distributed quantum computing operations.

    Stack J, Wang M, Mueller F. · 2026 · Nat Commun

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1038/s41467-026-75693-3

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  16. MOD<sup>2</sup>SAD: enhancing malicious office document detection through semantic-aware deobfuscation.

    Leng T, Liao T, Yuan B. · 2026 · Sci Rep

    limited evidence Transparent signal score 43/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1038/s41598-026-60598-4

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  17. Fundamental limits incorporating logical reasoning into Shannon's information theory.

    Lastras LA, Lenchner J, Trager BM, Szpankowski W · 2026 · Proc Natl Acad Sci U S A

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1073/pnas.2525600123

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  18. Hybrid Dual-Heterogeneous Knowledge Distillation Network for Anomaly Detection in Retinal OCT Images.

    Xu M, Wei H, Nie Z, Zhou X · 2026 · IEEE J Biomed Health Inform

    limited evidence Transparent signal score 43/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1109/jbhi.2025.3650072

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  19. Cryptanalysis of a controller-independent controlled bidirectional QSDC protocol.

    Tsai CW, Chang YC, Su A, Chen IC · 2026 · PLoS One

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1371/journal.pone.0357035

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  20. Typed realizability for first-order classical analysis

    Valentin Blot · 2015 · Logical Methods in Computer Science

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in hal · DOI 10.2168/lmcs-11(4:22)2015

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  21. Finite choice, convex choice and finding roots

    Stéphane Le Roux, Arno Pauly · 2015 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.2168/lmcs-11(4:6)2015

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  22. Vector Addition System Reversible Reachability Problem

    Jérôme Leroux · 2013 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.2168/lmcs-9(1:5)2013

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  23. Unary negation

    Luc Segoufin, Balder ten Cate · 2013 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.2168/lmcs-9(3:25)2013

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  24. Complexity theory for spaces of integrable functions

    Florian Steinberg · 2017 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.23638/lmcs-13(3:21)2017

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  25. Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

    Davide Basile, Maurice H. ter Beek, Rosario Pugliese · 2020 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.23638/lmcs-16(2:9)2020

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  26. Reconfiguration and Message Losses in Parameterized Broadcast Networks

    Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar · 2021 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.23638/lmcs-17(1:23)2021

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  27. From memorisation to reasoning: a qualitative study of first-year medical students' cognitive shifts in computer science education.

    Alobud O. · 2026 · Front Med (Lausanne)

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.3389/fmed.2026.1822748

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  28. Academic transition shock: How first-year public health students navigate unfamiliar learning demands in computer science education.

    Alobud O. · 2026 · Front Psychol

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.3389/fpsyg.2026.1825898

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  29. Canonicity and homotopy canonicity for cubical type theory

    Thierry Coquand, Simon Huber, Christian Sattler · 2022 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.46298/lmcs-18(1:28)2022

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  30. Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

    Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez · 2023 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.46298/lmcs-19(4:1)2023

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  31. Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

    Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier · 2025 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.46298/lmcs-21(1:8)2025

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  32. MacroSwarm: A Field-based Compositional Framework for Swarm Programming

    Gianluca Aguzzi, Roberto Casadei, Mirko Viroli · 2025 · Logical Methods in Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.46298/lmcs-21(3:13)2025

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  33. Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity

    Hubie Chen, Stefan Mengel · 2026 · Logical Methods in Computer Science

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in hal · DOI 10.46298/lmcs-22(2:6)2026

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  34. Covering and separation for logical fragments with modular predicates

    Thomas Place, Varun Ramanathan, Pascal Weil · 2019 · Logical Methods in Computer Science

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  35. Coverage Games

    Kupferman, Orna, Shenwald, Noam · 2026

    limited evidence Transparent signal score 43/100 · policy 1.0.0

    Found in datacite · DOI 10.48550/arxiv.2603.20398

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: https://creativecommons.org/licenses/by/4.0/legalcode. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionPublication version: Identified as a preprint; peer review and later versions may change the record. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  36. GRAND UNIFIED THEORY OF PHYSICS Empirical Calibration Complete with Testable Predictions

    Pacha, James · 2026

    limited evidence Transparent signal score 47/100 · policy 1.0.0

    Found in datacite, datacite · DOI 10.5281/zenodo.15551875

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  37. DeHoLTZ: A Zero-Parameter Deterministic Derivation Database and Framework Built from a Single Lacunary Seed Seed: ∑ cos(π(√2)ⁿτ) / 2ⁿ | Axiom: dS/dτ > 0 | Rewrite: 0 → 01, 1 → 100

    Jacobson, Mark · 2026

    limited evidence Transparent signal score 47/100 · policy 1.0.0

    Found in datacite, datacite · DOI 10.5281/zenodo.18233709

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: https://creativecommons.org/licenses/by/4.0/legalcode. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  38. Basis-Free Pattern Architecture: Public Papers, Formal Converters, and Computational Appendices

    kim, minsu · 2026

    limited evidence Transparent signal score 43/100 · policy 1.0.0

    Found in datacite, datacite · DOI 10.5281/zenodo.18934501

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: https://creativecommons.org/licenses/by-nd/4.0/legalcode. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionPublication version: Identified as a preprint; peer review and later versions may change the record. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  39. The principle: From data point to natural law (physics as example)

    Stegmiller, Gerald · 2026

    limited evidence Transparent signal score 47/100 · policy 1.0.0

    Found in datacite, datacite · DOI 10.5281/zenodo.22342181

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingPublication license: A publication license was supplied: https://creativecommons.org/licenses/by/4.0/legalcode. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  40. Tensor factorizations as generative models

    Loconte, Lorenzo · 2026

    limited evidence Transparent signal score 43/100 · policy 1.0.0

    Found in datacite · DOI 10.7488/era/7768

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  41. A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES

    Mai Gehrke, Tomáš Jakl, Luca Reggio · 2020 · Logical Methods in Computer Science

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  42. Analytical Methods for Detecting and Eliminating the Static Hazard in Combinational Logic Circuits

    Mihai Grigore Timis, Alexandru Valachi, Alexandru Barleanu, Andrei Stan · 2024

    uncertain Transparent signal score 54/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  43. Ehrenfeucht-Fraïssé Goes Automatic for Real Addition

    Felix Klaedtke · 2008

    uncertain Transparent signal score 56/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  44. Logical Principles in Ternary Mathematics

    Ruslan Pozinkevych · 2021 · Asian Journal of Research in Computer Science

    limited evidence Transparent signal score 48/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  45. Neuro-Symbolic AI in Database Systems: A Systematic Review of Query Processing, Knowledge Graph Reasoning, Data Storage and Integration

    Uchenna Jeremiah Nzenwata, Folasade Yetunde Ayankoya, Shade Oluwakemi Kuyoro, Emokiniovo Edwin · 2025 · Asian Journal of Research in Computer Science

    limited evidence Transparent signal score 48/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  46. Regular tree languages, cardinality predicates, and addition-invariant FO

    Frederik Harwath, Nicole Schweikardt · 2012

    uncertain Transparent signal score 56/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer