Sage Journals: Discover world-class research

Free access

Research article

First published 2020-4-14

Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements 1

Fariz Darari, Werner Nutt, Simon Razniewski [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2007-6

Perceptual Completion of a Sound with a Short Silent Gap

Gerard B Remijn, Yoshitaka Nakajima, Shunsuke Tanaka

Perception

Retricted access

Research article

First published 2014-4

Complexity of the Soundness Problem of Workflow Nets

GuanJun Liu, Jun Sun, Yang Liu [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Retricted access

Research article

First published 2022-11

Completing a soundscape questionnaire reduces the psychological distance of sound and hearing

David Welch, Komal Rana, Ravi Reddy

Health Education Journal

Retricted access

Research article

First published 1994-12

COMPLETENESS AND SOUNDNESS OF AXIOMATIZATIONS FOR TEMPORAL LOGICS WITHOUT NEXT

L.E. Moser, P.M. Melliar-Smith, G. Kutty [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019-6

Parents’ Experiences of Completing Home Practice for Speech Sound Disorders

Eleanor Sugden, Natalie Munro, Carol M. Trivette [...]

Journal of Early Intervention

Retricted access

Research article

First published 2009-10-12

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Pedro Adão, Gergei Bana, Jonathan Herzog [...]

Journal of Computer Security

Retricted access

Research article

First published 2013-10

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types

Marco Bellia, M. Eugenia Occhiuto

Fundamenta Informaticae

Open access

Research article

First published 2026-3

Sound quality modeling and active control for electric buses based on complete ensemble empirical mode decomposition with adaptive noise

Enlai Zhang, Zhilong Peng, Yi Chen [...]

Journal of Low Frequency Noise,Vibration and Active Control

Search results