One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-specification languages. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s fo...

A n 83-year-old woman with a history of fever presented with severe chest pain progressing to cardiogenic shock. Her electrocardiogram showed evidence of anteroseptal myocardial infarction (MI). Urgent coronary angiography, with intra-aortic balloon pump support, indicated total occlusion of the left main trunk (LMT) (Figure 1A). Drug-eluting stents were successfully implanted from the LMT into...

Sinus of Valsalva aneurysm (SVA) is a rare cardiac anomaly that may be congenital or acquired. We report the case of a 29-year-old female who presented with a three-month history of exertional dyspnea. Cardiac auscultation revealed a grade III/VI continuous murmur along the right sternal border. Transthoracic echocardiography revealed alternating jet-flows into the right atrium (RA) and right v...

High sidelobes greatly reduce the quality of radar imageries. Under near range condition, sidelobe suppression becomes more intractable due to space-variant characteristic wavenumber spectrum. The Spatially variant apodisation (SVA) method is extended for in first multiplies original image by a compensation term so that spectra all targets shift same central position. Then, spatially weighting ...

This paper demonstrates simultaneous identification and control of the humanoid robot, Valkyrie, utilizing Spatial Vector Algebra (SVA). In particular, the inertia, Corioliscentrifugal and gravity terms for the dynamics of a robot are computed using spatial inertia tensors. With the assumption that the link lengths or the distance between the joint axes are accurately known, it will be shown th...

Aneurysmal dilatation of one or more of the sinuses of Valsalva (SVA) is a rare cause of coronary insufficiency. We describe one case of unruptured and partially thrombosed right sinus of Valsalva aneurysm of which the first sign was acute inferior myocardial infarction in a 40-year-old man while reviewing the literature, we found 44 reported cases of sinus of Valsalva aneurysm, complicated by ...

Synthetic aperture radar (SAR) imaging usually requires echo data collected continuously pulse by pulse with certain bandwidth. However in real situation, data collection or part of signal spectrum can be interrupted due to various reasons, i.e. there will be gaps in spatial spectrum. In this case we need to find ways to fill out the resulted gaps and get image with defined resolution. In this ...

The microscopic orientation and position of photoactive molecules is crucial to the operation of optoelectronic devices such as OLEDs and solar cells. Here, we introduce a shape-persistent macrocyclic molecule as an excellent fluorescent probe to simply measure (i) its orientation by rotating the excitation polarization and recording the strength of modulation in photoluminescence (PL) and (ii)...