Egalitarian state-transition systems (extended version)

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.

Effect of pharmacological pupil dilation on measurements and iol power calculation made using the new swept-source optical coherence tomography-based optical biometer

Purpose: to determine whether pupil dilation affects biometric measurements and intraocular lens (IOL) power calculation made using the new swept-source optical coherence tomography-based optical biometer (IOLMaster 700©; Carl Zeiss Meditec, Jena, Germany). Procedures: eighty-one eyes of 81 patients evaluated for cataract surgery were prospectively examined using the IOLMaster 700© before and after pupil dilation with tropicamide 1%. The measurements made were: axial length (AL), central corneal thickness (CCT), aqueous chamber depth (ACD), lens thickness (LT), mean keratometry (MK), white-to-white distance (WTW) and pupil diameter (PD). Holladay II and SRK/T formulas were used to calculate IOL power. Agreement between measurement modes (with and without dilation) was assessed through intraclass correlation coefficients (ICC) and Bland-Altman plots. Results: mean patient age was 75.17 ± 7.54 years (range: 57–92). Of the variables determined, CCT, ACD, LT and WTW varied significantly according to pupil dilation. Excellent intraobserver correlation was observed between measurements made before and after pupil dilation. Mean IOL power calculation using the Holladay 2 and SRK/T formulas were unmodified by pupil dilation. Conclusions: the use of pupil dilation produces statistical yet not clinically significant differences in some IOLMaster 700© measurements. However, it does not affect mean IOL power calculation.

William Layton en España

This year 2015 marks the 55th anniversary of the establishment in Spain of the first theatre academy whose methodological principles for actors were based on the Stanislavski system —although transformed by the perspective of the Method, developed in America by the Group Theatre during the 1930s and then implanted in some famous schools such as the Actor’s Studio—. It was in October 1960 when the American actor, teacher and director William Layton (1913-1995) opened the Teatro Estudio de Madrid (TEM). By then, he had already been living in Spain for two years. In that adventure Layton was accompanied by the Spanish Miguel Narros (a stage director) and the American Elizabeth H. Buckley. This private academy began its activity by offering the Method, a discipline that Layton had learned in his country with Sandford Meisner; one member of the Group Theatre along with Lee Strasberg, Stella Adler, Harold Clurmann or Elia Kazan. Thanks to the TEM, concepts till then completely unknown in Spanish academic venues for actors such as organicity, truth, mood, sensory memory, etc., started being implemented in the theatrical interpretation. Firstly, in exercises of improvisation; secondly, in scenes and characters; and finally, after a time of performing, those concepts were tested in the scenarios, by display to the public, which is the biggest challenge for any actor, author or director. That way, a singular model of interpretation, a naturalistic type, which have prevailed in the West over other ways of interpreting, came to Spain. A system (which could be defined as organic interpretation) that had been systematized by the Russian Konstantin Stanislavski in the early twentieth century and rapidly was exported abroad by some of his first students: Richard Boleslavsky, Maria Ouspenskaya, Michael Chekhov, Pietro Scharoff, P. Pauloff... Its popularity in the USA increased mainly due to the Actor’s Studio and also thanks to professor Lee Strasberg, through the famous Method working. While in 1960 Layton founded in Madrid the TEM, together with Narros and Buckley, the Brechtian technique was arriving to Barcelona. In that city, Ricard Salvat —who had trained in Germany— and Maria Aurélia Capmany opened the School of Dramatic Art Adrià Gual (EADAG). From Catalonia and over the years, this center will project the first formulas about “distancing”. That way, after decades of delay, that same year 1960 landed in Spain two key trends that shaped and influenced the development of Western theatrical art in the first half of the twentieth century. SYNTHESIS: The knowledge and deep analysis of William Layton’s work as acting teacher in Spain will allow us to get closer to a major figure in the history of theater education in our country. Our main goal is to demonstrate that he was responsible for breaking the isolation that, from secular times, suffered the training of actors in Spain. Layton not only did achieve that, but did it consistently, without interruption. Also, by analyzing his work as stage manager, we will discover how this methodology was implemented in two aspects regarding the theatrical play: in the actor himself and in the dramatic text...

Agreement and clinical comparison between a new swept-source optical coherence tomography-based optical biometer and an optical low-coherence reflectometry biometer

Purpose To compare measurements taken using a swept-source optical coherence tomography-based optical biometer (IOLmaster 700) and an optical low-coherence reflectometry biometer (Lenstar 900), and to determine the clinical impacts of differences in their measurements on intraocular lens (IOL) power predictions. Methods Eighty eyes of 80 patients scheduled to undergo cataract surgery were examined with both biometers. The measurements made using each device were axial length (AL), central corneal thickness (CCT), aqueous depth (AQD), lens thickness (LT), mean keratometry (MK), white-to-white distance (WTW), and pupil diameter (PD). Holladay 2 and SRK/T formulas were used to calculate IOL power. Differences in measurement between the two biometers were determined using the paired t-test. Agreement was assessed through intraclass correlation coefficients (ICC) and Bland–Altman plots. Results Mean patient age was 76.3±6.8 years (range 59–89). Using the Lenstar, AL and PD could not be measured in 12.5 and 5.25% of eyes, respectively, while IOLMaster 700 took all measurements in all eyes. The variables CCT, AQD, LT, and MK varied significantly between the two biometers. According to ICCs, correlation between measurements made with both devices was excellent except for WTW and PD. Using the SRK/T formula, IOL power prediction based on the data from the two devices were statistically different, but differences were not clinically significant. Conclusions No clinically relevant differences were detected between the biometers in terms of their measurements and IOL power predictions. Using the IOLMaster 700, it was easier to obtain biometric measurements in eyes with less transparent ocular media or longer AL.