Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Home
  • Home

Refine search

Refine search

Access:
Content type:
Publication date:
Apply
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)
  • Send to Kindle
  • Send to Dropbox
  • Send 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
×

2151 results

Page 1 of 108

  • 4 - Model Checking Quantum Automata
  • Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney
  • Book: Model Checking Quantum Systems
  • Published online: 14 January 2021
  • Print publication: 04 February 2021, pp 50-86
  • View extract

    Summary

    Quantum systems are modelled as different mathematical structures, depending on their nature and complexity. This chapter considers one of the simplest (discrete-time) models of quantum systems, namely quantum automata. It introduces a way of describing linear-time (dynamic) properties of quantum systems and presents several algorithms for checking certain linear-time properties of quantum automata, for example, invariants and reachability.

  • 2 - Basics of Model Checking
  • Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney
  • Book: Model Checking Quantum Systems
  • Published online: 14 January 2021
  • Print publication: 04 February 2021, pp 6-30
  • View extract

    Summary

    Model checking is an algorithmic technique for verification of computing and communication hardware and software. This book extends the technique of model checking for quantum systems. As preliminaries, this chapter introduces basics of model checking for both classical non-probabilistic and probabilistic systems.

  • 5 - Model Checking Quantum Markov Chains
  • Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney
  • Book: Model Checking Quantum Systems
  • Published online: 14 January 2021
  • Print publication: 04 February 2021, pp 87-137
  • View extract

    Summary

    This chapter develops model-checking techniques for a much larger class of quantum systems modelled as quantum Markov chains or more generally, quantum Markov decision processes. The differences between quantum automata and quantum Markov systems require us to develop algorithms for the latter that are fundamentally different from those for the former.

  • 3 - Basics of Quantum Theory
  • Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney
  • Book: Model Checking Quantum Systems
  • Published online: 14 January 2021
  • Print publication: 04 February 2021, pp 31-49
  • View extract

    Summary

    This chapter is intended to introduce some basic notions of quantum theory needed in the subsequent chapters for the reader who is not familiar with them. Quantum mechanics is a fundamental physics subject that studies the phenomena at the atomic and subatomic scales. This chapter introduces the required mathematical tools and presents the postulates mainly through their mathematical formalisms. The physics interpretation of these is only very briefly discussed.

  • 7 - Conclusions and Prospects
  • Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney
  • Book: Model Checking Quantum Systems
  • Published online: 14 January 2021
  • Print publication: 04 February 2021, pp 175-180
  • View extract

    Summary

    This is the concluding chapter of the book. It briefly discusses several possible directions for the further development, including the problem of state space explosion in model checking quantum systems, possible applications in verification and analysis of quantum circuits, quantum cryptographic protocols, and more generally, quantum programs.

  • CEO Transformational Leadership and Corporate Entrepreneurship in China
  • Yaotian Pan, Alain Verbeke, Wenlong Yuan
  • Journal: Management and Organization Review , First View
  • Published online by Cambridge University Press: 15 January 2021, pp. 1-32
    • Article
    • Access
    • Open access
    • PDF
    • HTML
    • Export citation
  • View abstract

    A chief executive officer (CEO) acting as the firm's transformational leader is typically viewed as instrumental to corporate entrepreneurship in established firms, but how exactly does a higher level of corporate entrepreneurship come about, given a transformational CEO's actions? We suggest that organizational ambidexterity can function as a core mediating mechanism between transformational CEOs and the observed level of corporate entrepreneurship and that the effectiveness of this mediating process varies as a function of critical contingencies related to characteristics of the top management team (TMT), the environment and the organization's design. Our empirical evidence, based on a sample of 145 Chinese private sector firms, and using three primary sources of data (145 CEOs, 506 TMT members, and 1,981 middle managers), provides support for a moderated mediation process. We find that the mediating pathway from transformational leadership to corporate entrepreneurship through organizational ambidexterity is not significant when boundary conditions are ignored. However, when environmental dynamism, TMT collectivism, and structural differentiation are included as moderators, CEO transformational leadership does affect corporate entrepreneurship via the creation and effective functioning of organizational ambidexterity.

  • 4 - Quadratic Functions
    • from Part II - From General Mathematical Background to General Nonlinear Programming Problems (NLP)
  • Vassilios S. Vassiliadis, University of Cambridge, Walter Kähm, Ehecatl Antonio del Rio Chanona, Imperial College London, Ye Yuan
  • Book: Optimization for Chemical and Biochemical Engineering
  • Published online: 17 December 2020
  • Print publication: 14 January 2021, pp 44-56
  • View extract

    Summary

    Quadratic multidimensional functions play a very important role in the understanding of general nonlinear functions. Convexity of quadratic functions is linked in a natural way from its geometrical definition all the way to the properties of its matrix eigenspectrum. Indeed, to second order expansion, and close to the expansion point, any nonlinear function can be approximated by a quadratic – thus providing a crucial link and understanding of the local behaviour and convexity properties of general functions.

Page 1 of 108