Skip to main content Accessibility help
×
  1. Home
  2. Browse subjects
  3. Computer Science
  4. Content listing

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

48556 results in Computer Science

Page 530 of 2428

  • PES volume 35 issue 1 Cover and Back matter

  • Journal:
    Probability in the Engineering and Informational Sciences / Volume 35 / Issue 1 / January 2021
    Published online by Cambridge University Press:
    18 January 2021, pp. b1-b2
    • Article
      • You have access
    • PDF
    • Export citation

  • Preface

  • MARCELLO BALDUCCINI, YULIYA LIERLER, STEFAN WOLTRAN
  • Journal:
    Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
    Published online by Cambridge University Press:
    18 January 2021, pp. 293-295
    • Article
      • You have access
    • PDF
    • Export citation

  • PES volume 35 issue 1 Cover and Front matter

  • Journal:
    Probability in the Engineering and Informational Sciences / Volume 35 / Issue 1 / January 2021
    Published online by Cambridge University Press:
    18 January 2021, pp. f1-f2
    • Article
      • You have access
    • PDF
    • Export citation

Model Checking Quantum Systems
  • Principles and Algorithms
  • Mingsheng Ying, Yuan Feng
  • Published online:
    14 January 2021
    Print publication:
    04 February 2021
  • Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.

  • ON EXTROPY PROPERTIES AND DISCRIMINATION INFORMATION OF DIFFERENT STRATIFIED SAMPLING SCHEMES

  • Abbas Eftekharian, Guoxin Qiu
  • Journal:
    Probability in the Engineering and Informational Sciences / Volume 36 / Issue 3 / July 2022
    Published online by Cambridge University Press:
    14 January 2021, pp. 644-659

  • Ranked set sampling (RSS) and some of its variants are sampling designs that are applied widely in different areas. When the underlying population contains different subpopulations, we can use stratified ranked set sampling (SRSS) which combines the advantages of stratification with RSS. In the present paper, we consider the information content of SRSS in terms of extropy measure. Some results using stochastic orders properties are obtained. The effect of imperfect ranking on discrimination information is analytically investigated. It is proved that discrimination information between the perfect SRSS and simple random sampling (SRS) data sets performs better than that of between the imperfect SRSS and SRS data sets.

Page 530 of 2428