A prototype version of the ImmersiveTouch® virtual reality simulator was applied to capsulorhexis, the creation of circular tear or "rhexis" in the lens capsule of the eye during cataract surgery. Virtual and live surgery scores by residents were compared. The same three metrics are used in each mode: circularity of the rhexis, duration of surgery (sec), and number of forceps grabs of the capsu...

CIRC is an automated circular coinductive prover that is implemented as an extension of Maude. CIRC implements the circularity principle, which generalizes circular coinductive deduction [4] and can be expressed in plain English as follows. Assume that each equation of interest (to be proved) e admits a frozen form fr(e) and a set of derived equations, its derivatives, Der(e). The circularity p...

Previous studies of mild cognitive impairment (MCI) have been criticised for using the same battery of neuropsychological tests during classification and longitudinal followup. The key concern is that there is a potential circularity when the same tests are used to identify MCI and then subsequently monitor change in function over time. The aim of the present study was to examine the evidence o...

PURPOSE To evaluate a haptic-based simulator, MicroVisTouch™, as an assessment tool for capsulorhexis performance in cataract surgery. The study is a prospective, unmasked, nonrandomized dual academic institution study conducted at the Wilmer Eye Institute at Johns Hopkins Medical Center (Baltimore, MD, USA) and King Khaled Eye Specialist Hospital (Riyadh, Saudi Arabia). METHODS This prospect...

Abstract Urban Regeneration (UR) is an approach to urban development contrasting soil consumption by catalyzing social energies reuse existing heritage (brownfields and dismissed buildings). The authors of this chapter are professionals within KCity Ltd., a bespoke consultancy specialized in UR design strategies adopting interdisciplinary approach, derived particular from policy analysis planni...

CIRC is an automated circular coinductive prover that is implemented as an extension of Maude. CIRC implements the circularity principle, which generalizes circular coinductive deduction [4] and can be expressed in plain English as follows. Assume that each equation of interest (to be proved) e admits a frozen form fr(e) and a set of derived equations, its derivatives, Der(e). The circularity p...

In the era of high precision CMB measurements, systematic effects are beginning to limit the ability to extract subtler cosmological information. The non-circularity of the experimental beam has become progressively important as CMB experiments strive to attain higher angular resolution and sensitivity. The effect of non-circular beam on the power spectrum is important at multipoles larger than...