Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information

We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the adversary is malicious, controls a constant fraction of processors, and can view all messages in a round before sending out its own messages for that round. Furthermore, each bad processor may send an unlimited number of messages. The only constraint on the adversary is that it must choose its corrupt processors at the start, without knowledge of the processors’ private random bits.

A good quorum is a set of O(logn) processors, which contains a majority of good processors. In this paper, we give a synchronous algorithm which uses polylogarithmic time and Õ(vn) bits of communication per processor to bring all processors to agreement on a collection of n good quorums, solving Byzantine agreement as well. The collection is balanced in that no processor is in more than O(logn) quorums. This yields the first solution to Byzantine agreement which is both scalable and load-balanced in the full information model.

The technique which involves going from situation where slightly more than 1/2 fraction of processors are good and and agree on a short string with a constant fraction of random bits to a situation where all good processors agree on n good quorums can be done in a fully asynchronous model as well, providing an approach for extending the Byzantine agreement result to this model.

Numerical Simulation of Tanpura String Vibrations

A numerical model of a tanpura string is presented, based on a recently developed, stability-preserving way of incorporating the non-smooth forces involved in the impactive distributed contact between the string and the bridge. By defining and modelling the string-bridge contact over the full length of the bridge, the simulated vibrations can be monitored through the force signals at both the bridge and the nut. As such it offers a reference model for both measurements and sound synthesis. Simulations starting from different types of initial conditions demonstrate that the model reproduces the main characteristic feature of the tanpura, namely the sustained appearance of a precursor in the force waveforms, carrying a band of overtones which decrease in frequency as the string vibrations decay. Results obtained with the numerical model are used to examine, through comparison, the effect of the bridge and of the thread on the vibrations.

The influence of providing perches and string on activity levels, fearfulness and leg health in commercial broiler chickens

The aim of this study was to assess the effect of providing environmental enrichment in the form of perches and string on the behaviour and welfare of commercial broiler chickens. Houses containing ~23 000 broiler chickens were assigned to one of four treatments in a 2×2 factorial design. Treatments involved two levels of access to perches (P) (present (24/house) ‘+P’ or absent ‘−P’) and two levels of access to string (S) (present (24/house) ‘+S’ or absent ‘−S’). All houses contained windows, and 30 straw bales were provided from day 10 of the rearing cycle. Treatments were applied in one of four houses on a single farm, and were replicated over four production cycles. Behaviour and leg health were observed in weeks 3 to 5 of the rearing cycle. Production performance and environmental parameters were also measured. There was an interaction between perches and age in the percentage of birds observed lying, with higher percentages of birds observed lying in the +P treatment than in the −P treatment during weeks 4 and 5. There was also a significant interaction between string and age in the percentage of birds observed in locomotion, with higher percentages observed in locomotion in the −S treatment than in the +S treatment during weeks 4 and 5. There was also an interaction between string and age in average gait scores, with lower gait scores in the +S treatment than in the −S treatment during weeks 3 and 5 but not within week 4. Daytime observations showed that perches and strings were used frequently, with one bout of perching occurring approximately every 80 s/perch, and one bout of pecking at string occurring every 78 s/string on average. There was a significant effect of age on use of perches (P<0.001) and string (P<0.001), with perching peaking during week 5 and string pecking peaking during week 3. We conclude that commercial broilers in windowed houses with access to straw bales display an interest in additional enrichment stimuli in the form of perches and string, and therefore that these stimuli have the potential to improve welfare. In addition, provision of string as a pecking device appeared to positively influence walking ability. However, this effect was numerically small, was only shown in certain weeks and was not reflected in the other leg health measure (latency to lie). The results also showed an apparent negative effect of string and perches on the activity levels of birds (recorded away from the immediate vicinity of these enrichments) towards the end of the production cycle. These results emphasise the need for further research into optimum design and layout of enrichment stimuli for modern broilers in windowed houses to ensure that their provision leads to clear welfare benefits.

Coupled Effects of a Perturbation in a Complex Structure Observed with SDO/AIA, SDO/HMI and ROSA/HARDcam

We study properties of intensity fluctuations in NOAA Active Region 11250 observed on 13 July 2011 starting at UT 13:32. Included are data obtained in the EUV bands of the Atmospheric Imaging Assembly on board the Solar Dynamics Observatory (SDO/AIA) as well as nearly simultaneous observations of the chromosphere made, at much higher spatial and temporal resolution, with the Rapid Oscillations in the Solar Atmosphere (ROSA) and Hydrogen-Alpha Rapid Dynamics camera (HARDcam) systems at the Dunn Solar Telescope. A complex structure seen in both the ROSA/HARDcam and SDO data sets comprises a system of loops extending outward from near the boundary of the leading sunspot umbra. It is visible in the ROSA Ca II K and HARDcam Hα images, as well as the SDO 304 Å, 171 Å and 193 Å channels, and it thus couples the chromosphere, transition region and corona. In the ground-based images the loop structure is 4.1 Mm long. Some 17.5 Mm, can be traced in the SDO/AIA data. The chromospheric emissions observed by ROSA and HARDcam appear to occupy the inner, and apparently cooler and lower, quarter of the loop. We compare the intensity fluctuations of two points within the structure. From alignment with SDO/HMI images we identify a point "A" near the loop structure, which sits directly above a bipolar magnetic feature in the photosphere. Point "B" is characteristic of locations within the loops that are visible in both the ROSA/HARDcam and the SDO/AIA data. The intensity traces for point A are quiet during the first part of the data string. At time ~ 19 min they suddenly begin a series of impulsive brightenings. In the 171 Å and 193 Å coronal lines the brightenings are localized impulses in time, but in the transition region line at 304 Å they are more extended in time. The intensity traces in the 304 Å line for point B shows a quasi-periodic signal that changes properties at about 19 min. The wavelet power spectra are characterized by two periodicities. A 6.7 min period extends from the beginning of the series until about 25 minutes, and another signal with period ~3 min starts at about 20 min. The 193 Å power spectrum has a characteristic period of 5 min, before the 20 min transition and a 2.5 min periodicity afterward. In the case of HARDcam Hα data a localized 4 min periodicity can be found until about 7 min, followed by a quiet regime. After ~20 min a 2.3 min periodicity appears. Interestingly a coronal loop visible in the 94 Å line that is centrally located in the AR, running from the leading umbra to the following polarity, at about time 20 min undergoes a strong brightening beginning at the same moment all along 15 Mm of its length. The fact that these different signals all experience a clear-cut change at time about 20 min suggests an underlying organizing mechanism. Given that point A has a direct connection to the photospheric magnetic bipole, we conjecture that the whole extended structure is connected in a complex manner to the underlying magnetic field. The periodicities in these features may favor the wave nature rather than upflows and interpretations will be discussed.

Franz Liszt’s Piano Sonata in B Minor: Precedents for an Analytical Evolution

Franz Liszt has all too often been discarded as the virtuosic showman, despite the fact that his several of works have often gained great praise and attracted scholarly engagement. However, one also finds striking development of formal design and tonal harmony in many of the works for his principal composition medium, the piano. This paper seeks to explore the practical application of James A. Hepokoski and Warren Darcy’s 'Sonata Theory' upon Liszt’s magnum opus for the instrument, the Sonata in B Minor.

I shall first consider the historical analyses placed upon the work that deal with structural design, as it pertains to the paradigm of Classical sonata-form. Previous research reveals two main theoretical camps; those in favour of a multi-movement analysis (with conflicting hypotheses therein) and those in favour of a single movement sonata-form. An understanding of these historical conceptions of the piece allows one to then highlight areas of conflict and offer a new solution.

Finally, I shall use Sonata Theory to survey the Sonata in B Minor’s landscape in a new light. The title ‘Sonata’ has clear generic implications, many of which are met by Liszt; 'Sonata Theory' provides a model with which to outline the compositional deformations employed by the composer and the implications of this practice. In particular, I offer new perspectives on the validity of the double-function form, insight into the rhetorical layout of a rotational discourse, and propose a nuanced analysis befitting of this striking work.

Seeing How it Sounds: Observation, Imitation and Improved Learning in Piano Playing

Research in various fields has shown that students benefit from teacher action demonstrations during instruction, establishing the need to better understand the effectiveness of different demonstration types across student proficiency levels. This study centres upon a piano learning and teaching environment in which beginners and intermediate piano students (N=48) learning to perform a specific type of staccato were submitted to three different (group exclusive) teaching conditions: audio-only demonstration of the musical task; observation of the teacher's action demonstration followed by student imitation (blockedobservation); and observation of the teacher's action demonstration whilst alternating imitation of the task with the teacher's performance (interleaved-observation). Learning was measured in relation to students' range of wrist amplitude (RWA) and ratio of sound and inter-sound duration (SIDR) before, during and after training. Observation and imitation of the teacher’s action demonstrations had a beneficial effect on students' staccato knowledge retention at different times after training: students submitted to interleaved-observation presented significantly shorter note duration and larger wrist rotation, and as such, were more proficient at the learned technique in each of the lesson and retention tests than students in the other learning conditions. There were no significant differences in performance or retention for students of different proficiency levels. These findings have relevant implications for instrumental music pedagogy and other contexts where embodied action is an essential aspect of the learning process.