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.

Trio Performance with 'Faint' at "Sounds New Contemporary Music Festival":Graphic Scores and Free improvisation: Canterbury, Kent

The programme contained a performance by the trio FAINT (Pedro Rebelo - Piano and instru- mental parasites, Franziska Schroeder - Saxophone and Steve Davis - Drums). The performance includes short electroacoustic works based on the trio's free improvisation and a performance of Rebelo's Cipher Series graphic scores.

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.

Redução para piano: três especificidades

Este projeto de investigação foca a análise das diversas problemáticas no domínio da redução para piano suscitadas por linguagens e por obras emblemáticas do repertório musical contemporâneo. O estudo teve como principal objetivo compreender realizar uma redução para piano, tendo como base os estudos que se debruçam sobre questões de orquestração, transcrição, acompanhamento, bem como inúmeros exemplos de reduções existentes. São realizados estudos sobre as diferenças entre redução e transcrição para piano, sobre os critérios de escolha de material musical, sobre a reorquestração da conteúdo nas reduções, sobre a problemática de execução das reduções ao piano, sobre questões de leitura à primeira vista e, finalmente, sobre aspetos de apresentação. O conteúdo de investigação é dividido de acordo com três especificidades das reduções para piano. Como exemplo de cada uma delas foram realizadas novas reduções das seguintes obras: Concerto da Camera col Violoncello Obbligato de Lopes-Graça; Pli selon pli de Boulez e ópera Lady Sarashina de Eötvös. A génese destas obras e os procedimentos necessários à sua redução foram também objeto de estudo nesta dissertação. Todas as reduções foram apresentadas publicamente e preparadas para edição. O estudo aqui realizado pretende contribuir para a melhoria do conhecimento sobre as reduções para piano, procurando definir ou ajudar à compreensão das soluções viáveis pianisticamente e facilmente aplicáveis na prática. This research project focuses on the analysis of various problems in the field of piano reduction that are caused by languages and emblematic works of contemporary repertoire. This work aims to understand how to make a piano reduction and is based on studies that address various issues in orchestration, transcription, accompaniment and numerous examples of existing piano reductions. Studies were made on the difference between piano reduction and transcription, on the selection criteria of musical material, on re-orchestration of content in piano reduction, and on issues related with performance of reduction at the piano, sight-reading and aspects of score presentation. The content of this research is divided into three specifications of piano reductions. For each section an example was done of each of these works: Lopes-Graça´s Concerto da Camera col Violoncello Obbligato; Boulez´s Pli selon pli and Eötvös´s opera Lady Sarashina. The genesis of these works and their related process of reduction was also studied in this dissertation. All reductions were prepared for edition and presentation to the public. This study aims to contribute to the knowledge on piano reduction, seeking for viable pianistic solutions which can be easily applied in practice.

Obras para voz e piano de Frederico de Freitas: a vocalidade entre fado e canção

Durante a sua vida Frederico de Freitas abordou praticamente todos os géneros musicais, demonstrando uma imensa e notória versatilidade tanto na música erudita como na não erudita. O repertório para canto e piano representa uma parte substancial da sua obra vocal e, apesar de menos divulgado, não pode deixar de se considerar de grande importância. É precisamente neste género que mais se evidencia a versatilidade do seu estilo composicional. Este repertório abrange, assim, os géneros erudito e ligeiro, ou popular, pelo que as suas canções refletem a facilidade com que se movia de um meio para outro. Enquanto investigador, os estudos que realizou sobre música medieval portuguesa, o número elevadíssimo de recolhas de melodias tradicionais portuguesas que fez ao longo da vida e as investigações que realizou sobre o fado deram origem, paralelamente à composição de canções eruditas, a harmonizações de melodias medievais, a arranjos de temas na música tradicional e à composição de fados. Do ponto de vista interpretativo, a diversidade de estilos presentes nas canções de Frederico de Freitas exige do cantor lírico uma versatilidade e capacidade de se adaptar, ainda que mantendo a matiz da sua formação erudita, ao estilo próprio de cada canção. Com vista a uma interpretação estilística e vocalmente adequada, e por representarem um universo tão diferenciado, esta tese de doutoramento centra a sua atenção na problemática da vocalidade das suas canções.

Psycho-physio dynamics in violin-piano duo: a pianist's perspective

The case study looked at psychological and physiological responses to stress in musicians, comparing a newly formed and a consolidated violin-piano duo. The common element between these duos was the pianist. Using the psychological tests (STAI Y1 and Y2, K-MPAI, MMPI-2, ICAC), the immunoassay saliva test to measure cortisol (stress hormone) and non- invasive device VitalJacket® developed at the University of Aveiro, Portugal, participants were monitored under various performance conditions. Others quantitative and qualitative dataset were collected including a pianist’s personal diary (analyzed by psychiatrist), semi-structured interviews with members of long-terms chamber music duo and perceptual evaluations (listening test) of the performances by expert listeners. The variables included two performance venues (European university and secondary school), as well as well-known repertoire, recently known repertoire and newly known repertoire. The latter was given approximately one week before each recital. The psychological and physiological dataset were collected for a total of eight recitals – two series of four recitals each. The unexpected results show that state anxiety levels and stress of the pianist, who does not present an anxious profile, either in social or in musical terms, are always higher when playing with a well-known partner. Possible explanations may be due to the highest expectations for quality of performance and implications of mirror neurons (since the reactions are very different according to the partner). In other words, the “known” (i.e., the consolidated duo) can become “trapped” within a predetermined space, especially at the psychological level, while the “unknown” (the occasional duo) seems to be less involved and therefore more reassuring and exciting in positive terms. In addition, the preference of the expert audience is for the consolidated duo.

Functional analysis of String/CDC25 phosphatase in post-mitotic neurons

Cell cycle and differentiation are two highly coordinated processes during organ development. Recent studies have demonstrated that core cell cycle regulators also play cell cycle-independent functions in post-mitotic neurons, and are essential for the maintenance of neuronal homeostasis. CDC25 phosphatases are well-established CDK activators and their activity is mainly associated to proliferating tissues. The expression and activity of mammalian CDC25s has been reported in adult brains. However, their physiological relevance and the potential substrates in a non-proliferative context have never been addressed. string (stg) encodes the Drosophila CDC25 homolog. Previous studies from our group showed that stg is expressed in photoreceptors (PRs) and in lamina neurons, which are two differentiated cell types that compose the fly visual system. The aims of this work are to uncover the function of stg and to identify its potential neuronal substrates, using the Drosophila visual system as a model. To gain insight into the function of stg in a non-dividing context we used the GAL4/UAS system to promote downregulation of stg in PR-neurons, through the use of an RNAi transgene. The defects caused by stg loss-of-function were evaluated in the developing eye imaginal disc by immunofluorescence, and during adult stages by scanning electron microscopy. This genetic approach was combined with a specific proteomic method, two-dimensional difference gel electrophoresis (2D-DIGE), to identify the potential substrates in PR-cells. Our results showed that stg downregulation in PRs affects the well-patterned retina organization, inducing the loss of apical maintenance of PR-nuclei on the eye disc, and ommatidia disorganization. We also detected an abnormal accumulation of cytoskeletal proteins and a disruption of the axon structure. As a consequence, the projection of PR-axons into the lamina and medulla neuropils of the optic lobe was impaired. Upon stg downregulation, we also detected that PR-cells accumulate Cyclin B. Although the rough eye phenotype observed upon stg downregulation suggests neurodegeneration, we did not detect neuronal death during larval stages, suggesting that it likely occurs during pupal stages or during adulthood. By 2D-DIGE, we identified seven proteins which were differentially expressed upon stg downregulation, and are potential neuronal substrates of Stg. Altogether, our observations suggest that Stg phosphatase plays an essential role in the Drosophila visual system neurons, regulating several cell components and processes in order to ensure their homeostasis.

Relatório de estágio: mestrado em ensino da música

Resumo I - O projecto “Piano e outros Instrumentos/orquestra” consiste na implementação do formato Piano e Orquestra em complemento às aulas individuais e aos ensaios de conjunto. O trabalho foi dirigido a um grupo de três alunos com idades de 9, 12 e 16 anos, do curso de Iniciação, Básico e Secundário da EMNSC (Escola de Música de Nossa Senhora do Cabo). Foram criados momentos distintos em cada fase. Estimulou-se o desenvolvimento de competências musicais e de estratégias metacognitivas visando a evolução dos alunos e a eficácia na realização do estudo individual. O Projecto foi criado com o objectivo de desenvolver as competências musicais, a motivação para realização do estudo individual e de grupo, o espírito e a audição crítica, o controlo dos factores psicológicos, a ansiedade, o aumento da autoconfiança, a aprendizagem, a melhoria da atitude positiva no momento da execução pública e o incremento do interesse pelas actividades relacionadas com a prática musical. A realização deste projecto visou analisar o grau de motivação, o desenvolvimento e a aquisição de competências musicais dos alunos de piano que frequentaram semanalmente aulas individuais, aulas extra de preparação, ensaios com Orquestra “Da Capo”, ensaios com a Orquestra Maior, duos com violoncelo e com canto. Um dos objectivos era comparar o grau de motivação e desenvolvimento dos alunos quando estudam obras nas aulas individuais que constituem o programa curricular e, por outro lado, quando o fazem em peças seleccionadas especificamente para este Projecto. Esta experiência visou proporcionar um conhecimento nos diversos domínios da música, uma visão diferente da funcionalidade do piano em conjunto com os outros instrumentos, a descoberta das sonoridades do piano contrastante e ao mesmo tempo, integrante com outros instrumentos, as formas de funcionamento dos instrumentos de corda, de sopro, dos assuntos relacionados com a afinação e pretendendo-se assim apurar o sentido de fazer parte integrante de um todo.

Leitura à primeira vista ao piano: relatório de estágio

A frequência de um Estágio de Ensino Especializado proporciona uma oportunidade de proximidade entre futuro docente e aluno. A observação de metodologias e o envolvimento com a música e contexto musical das escolas e alunos é algo fundamental para a formação correcta de docentes. Devido ao carácter prático do ensino de um instrumento, esta interacção demonstra-se fundamental para a experiência pedagógica. Neste estágio pretendeu-se aumentar o grau de qualidade de ensino e o número de ferramentas pedagógicas, comparando-as com ferramentas aprendidas e articuladas por experiência pré-adquirida como docente. A pedagogia de ensino de piano tem vindo a sofrer várias modificações e adaptações, como reflexo do meio e dos recursos disponíveis. A existência de conservatórios onde os alunos podem frequentar um grande número de disciplinas trouxe vantagens significativas para a sua cultura musical. Embora o estudo do instrumento continue a ser a prática principal, a diminuição nos horários de estudo obriga a uma selecção criteriosa dos conteúdos programáticos deste instrumento, de modo a não por em causa o desenvolvimento técnico dos alunos. Uma área raramente encontrada nestes conteúdos é a leitura à primeira vista. A investigação aqui apresentada pretendeu compreender como se realiza a leitura à primeira vista de uma partitura ao piano e como se pode desenvolver esta competência. Recorrendo a fontes bibliográficas consultadas e à análise de métodos de ensino representativos, foram alvo de investigação a forma como um leitor lê à primeira vista uma partitura, qual a importância do tacto e da visão, e até que ponto esta competência pode ser estudada e desenvolvida. Quais são os factores-chave da leitura à primeira vista? Até que ponto a prática ao instrumento pode influenciar esta capacidade? Embora a leitura à primeira vista tenha sido retirada como disciplina e forma de avaliação em vários estabelecimentos de ensino, a realização de alguns inquéritos pretendeu avaliar a importância dada a esta disciplina, entre professores e alunos.

Inter-application redundancy elimination in sensor networks with compiler-assisted scheduling

Most current-generation Wireless Sensor Network (WSN) nodes are equipped with multiple sensors of various types, and therefore support for multi-tasking and multiple concurrent applications is becoming increasingly common. This trend has been fostering the design of WSNs allowing several concurrent users to deploy applications with dissimilar requirements. In this paper, we extend the advantages of a holistic programming scheme by designing a novel compiler-assisted scheduling approach (called REIS) able to identify and eliminate redundancies across applications. To achieve this useful high-level optimization, we model each user application as a linear sequence of executable instructions. We show how well-known string-matching algorithms such as the Longest Common Subsequence (LCS) and the Shortest Common Super-sequence (SCS) can be used to produce an optimal merged monolithic sequence of the deployed applications that takes into account embedded scheduling information. We show that our approach can help in achieving about 60% average energy savings in processor usage compared to the normal execution of concurrent applications.

Synthesis and structural characterization of new Piano-stool Ruthenium(II) complexes bearing 1-Butylimidazole heteroaromatic ligand

New cationic ruthenium(II) complexes with the formula [Ru(eta(5)-C5H5)(LL)(1-BuIm)] [Z], with (LL) = 2PPh(3) or DPPE, and Z = CF3SO3-, PF6-, BPh4-, have been synthesized and fully characterized. Spectroscopic and electrochemical studies revealed that the electronic properties of the coordinated 1-butylimidazole were clearly influenced by the nature of the phosphane coligands (LL) and also by the different counter ions. The solid state structures of the six complexes determined by X-ray crystallographic studies, confirmed the expected distorted three-legged piano stool structure. However the geometry of the 1-butylimidazole ligand was found considerably different in all six compounds, being governed by the stereochemistry of the mono and bidentate coligands (PPh3 or DPPE).

A improvisação como ferramenta pedagógica no ensino vocacional de piano

Resumo I - A frequência do Estágio do Ensino Especializado proporcionou uma oportunidade de observar o ensino de piano numa das escolas mais importantes do ensino da música em Portugal, acompanhando alunos do Curso Básico e do Curso Secundário, que frequentaram a Escola de Música do Conservatório Nacional no regime integrado. O processo de observação de aulas que decorreu deste estágio possibilitou-nos assistir às aulas de piano de uma professora experiente, permitindo a observação de metodologias consolidadas e assistir de perto à forma como estas são postas em prática. Por outro lado, através da leccionação de aulas observadas, foi dada a oportunidade de testar e reflectir sobre o próprio desempenho docente, procurando estratégias e ferramentas pedagógicas que possam vir a acrescentar qualidade à prática pedagógica. O ensino especializado da música em Portugal tem experimentado mudanças importantes, o que leva a que haja uma adaptação das escolas às mudanças, continuando a leccionar um ensino de qualidade, que se quer cada vez mais eficaz, inovador, e com professores cada vez melhor fundamentados e preparados.

Visualisation of human rad52 protein and its complexes with hRad51 and DNA.

The human Rad52 protein stimulates joint molecule formation by hRad51, a homologue of Escherichia coli RecA protein. Electron microscopic analysis of hRad52 shows that it self-associates to form ring structures with a diameter of approximately 10 nm. Each ring contains a hole at its centre. hRad52 binds to single and double-stranded DNA. In the ssDNA-hRad52 complexes, hRad52 was distributed along the length of the DNA, which exhibited a characteristic "beads on a string" appearance. At higher concentrations of hRad52, "super-rings" (approximately 30 nm) were observed and the ssDNA was collapsed upon itself. In contrast, in dsDNA-hRad52 complexes, some regions of the DNA remained protein-free while others, containing hRad52, interacted to form large protein-DNA networks. Saturating concentrations of hRad51 displaced hRad52 from ssDNA, whereas dsDNA-Rad52 complexes (networks) were more resistant to hRad51 invasion and nucleoprotein filament formation. When Rad52-Rad51-DNA complexes were probed with gold-conjugated hRad52 antibodies, the presence of globular hRad52 structures within the Rad51 nucleoprotein filament was observed. These data provide the first direct visualisation of protein-DNA complexes formed by the human Rad51 and Rad52 recombination/repair proteins.