To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure email@example.com
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
The relationship between exposure to famine in early life and the risk of ascending aorta dilatation (AAD) in adulthood is still unclear; therefore, we aimed to examine the association in the Chinese population. We investigated the data of 2598 adults who were born between 1952 and 1964 in Guangdong, China. All enrolled subjects were categorised into five groups: not exposed to famine, exposed during fetal period, and exposed during early, mid or late childhood. AAD was assessed by cardiac ultrasound. Multivariate logistic regression and interaction tests were performed to estimate the OR and CI on the association between famine exposure and AAD. There were 2598 (943 male, mean age 58·3 ± 3·68 years) participants were enrolled, and 270 (10·4 %) subjects with AAD. We found that famine exposure (OR = 2·266, 95 % CI 1·477, 3·477, P = 0·013) was associated with elevated AAD after adjusting for multiple confounders. In addition, compared with the non-exposed group, the adjusted OR for famine exposure during fetal period, early, mid or late childhood were 1·374 (95 % CI 0·794, 2·364, P = 0·251), 1·976 (95 % CI 1·243, 3·181, P = 0·004), 1·929 (95 % CI 1·237, 3·058, P = 0·004) and 2·227 (95 % CI 1·433, 3·524, P < 0·001), respectively. Subgroup analysis showed that the effect of famine exposure on the association with AAD was more pronounced in female, current smokers, people with BMI ≥ 24 kg/m2 and hypertensive patients. We observed that exposure to famine during early life was linked to AAD in adulthood.
Inflammation might play a role in bipolar disorder (BD), but it remains unclear the relationship between inflammation and brain structural and functional abnormalities in patients with BD. In this study, we focused on the alterations of functional connectivity (FC), peripheral pro-inflammatory cytokines and their correlations to investigate the role of inflammation in FC in BD depression.
In this study, 42 unmedicated patients with BD II depression and 62 healthy controls (HCs) were enrolled. Resting-state-functional magnetic resonance imaging was performed in all participants and independent component analysis was used. Serum levels of Interleukin-6 (IL-6) and Interleukin-8 (IL-8) were measured in all participants. Correlation between FC values and IL-6 and IL-8 levels in BD was calculated.
Compared with the HCs, BD II patients showed decreased FC in the left orbitofrontal cortex (OFC) implicating the limbic network and the right precentral gyrus implicating the somatomotor network. BD II showed increased IL-6 (p = 0.039), IL-8 (p = 0.002) levels. Moreover, abnormal FC in the right precentral gyrus were inversely correlated with the IL-8 (r = −0.458, p = 0.004) levels in BD II. No significant correlation was found between FC in the left OFC and cytokines levels.
Our findings that serum IL-8 levels are associated with impaired FC in the right precentral gyrus in BD II patients suggest that inflammation might play a crucial role in brain functional abnormalities in BD.
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.
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.
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.
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.
This chapter is devoted to studying a class of even more complex quantum systems modelled as so-called super-operator-valued Markov chains (SVMCs). This new model is particularly useful in modelling the high-level structure of quantum programs and quantum communication protocols. Several algorithms for checking SVMCs are presented in this chapter.
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.
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.
A 1178 J near diffraction limited 527 nm laser is realized in a complete closed-loop adaptive optics (AO) controlled off-axis multi-pass amplification laser system. Generated from a fiber laser and amplified by the pre-amplifier and the main amplifier, a 1053 nm laser beam with the energy of 1900 J is obtained and converted into a 527 nm laser beam by a KDP crystal with 62% conversion efficiency, 1178 J and beam quality of 7.93 times the diffraction limit (DL). By using a complete closed-loop AO configuration, the static and dynamic wavefront distortions of the laser system are measured and compensated. After correction, the diameter of the circle enclosing 80% energy is improved remarkably from 7.93DL to 1.29DL. The focal spot is highly concentrated and the 1178 J, 527 nm near diffraction limited laser is achieved.