You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (954)

Journals (0)

1-10 of 954 results for computational soundness

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Computational soundness of symbolic zero-knowledge proofs *

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Select article: Task-Relevant Sound and User Experience in Computer-Mediated Firefighter Training

Retricted access

Research article

First published 2012-12

Task-Relevant Sound and User Experience in Computer-Mediated Firefighter Training

Joske M. Houtkamp, Alexander Toet, Frank A. Bos

Simulation & Gaming

Select article: Computation of Bio-Fluid Sounds

Retricted access

Research article

First published 2011-8

Computation of Bio-Fluid Sounds

Youngmin Bae, Young J. Moon

International Journal of Aeroacoustics

Select article: Development status of high performance computing and its role in the construction of television animation sound recommendation System

Retricted access

Research article

First published 2025-3

Development status of high performance computing and its role in the construction of television animation sound recommendation System

Aijun He, Xiangyang Zheng

Intelligent Decision Technologies

Select article: Sound attenuation analysis of water-filled perforated pipe silencers using three-dimensional time-domain computational fluid dynamics approach

Open access

Research article

First published 2016-4

Sound attenuation analysis of water-filled perforated pipe silencers using three-dimensional time-domain computational fluid dynamics approach

Xu Zhou, Zhenlin Ji

Advances in Mechanical Engineering

Select article: Guessing attacks and the computational soundness of static equivalence

Retricted access

Research article

First published 2010-8-16

Guessing attacks and the computational soundness of static equivalence

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

Journal of Computer Security

Select article: Non-Speech Sound in Human-Computer Interaction: A Review and Design Guidelines

Retricted access

Research article

First published 1994-10

Non-Speech Sound in Human-Computer Interaction: A Review and Design Guidelines

James Hereford, William Winn

Journal of Educational Computing Research

Select article: Designing Sound : Developing Computer Support for Creativity in Music Education

Retricted access

Research article

First published 1995-12

Designing Sound : Developing Computer Support for Creativity in Music Education

Phil Ellis

Research Studies in Music Education

Select article: Fast and Accurate Geometric Sound Propagation Using Visibility Computations

Retricted access

Research article

First published 2011-3

Fast and Accurate Geometric Sound Propagation Using Visibility Computations

Anish Chandak, Lakulish Antani, Micah Taylor [...]

Building Acoustics

Select article: The sound of disinformation: TikTok,computational propaganda,and the invasion of Ukraine

Open access

Research article

First published 2024-9

The sound of disinformation: TikTok,computational propaganda,and the invasion of Ukraine

Marcus Bösch, Tom Divon

New Media & Society

1
2
3
•••
96
10 / page

Article type

Publication date

Subjects

Access