A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

Style and the “Idea” of the sophist after Plato : the impact of form typology on sophistic teaching and writing on interdisciplinary scholarly work

Resumen: Después de la primera sofística, los sofistas actuaron entre el resto de los pensadores del Mediterráneo como un grupo definido. Dado que hay muchos ejemplos que muestran que los sofistas ejercían sus prácticas y que también eran personas comprometidas en otras actividades, vamos a examinar aquí diversos casos de semejanzas y diferencias entre ellos y otros grupos de pensadores. Nuestras tres preguntas fundamentales son: qué, cómo y por qué los sofistas escribían y enseñaban. Intentaremos responder haciendo un análisis diacrónico de las principales formas y géneros de escritura que produjeron (qué). El cómo lo responderemos en su desenvolvimiento como una actividad comunicativa más allá de las fronteras de las disciplinas de la época. El por qué tendrá su respuesta al enfatizar la necesidad de la actividad de los sofistas en la socialización de la época y en la educación de la antigüedad. Al aseverar que el estilo era la idea de los sofistas, ponemos la noción de idea en Platón en el contexto de idea derivado de los sofistas contemporáneos a él y de los sofistas posteriores (segunda sofística) y centramos el foco en la función de visualidad expresada en su concepto de idea desde las obras sofísticas más tempranas en la época de Platón hasta las contribuciones posteriores.

An integrative view of aggressivenss in adolescence : development of a new measure and assessment of parenting and attachment effects

128 p. Retirada a solicitud de la autora 03/03/2016

Habilidades sociais de pais e mães de crianças do Rio de Janeiro: estudo preliminar sobre sua relação com as práticas e estilos parentais

O estilo parental tem influência no desenvolvimento humano e pode ser definido como um padrão de comportamentos identificáveis nos pais quando se relacionam com seus filhos. A literatura tem utilizado alguns parâmetros para compreender os estilos parentais. Um deles se caracteriza pelo binômio: limites-afeto ou responsividade e exigência, delimitando três estilos parentais: Autoritário, Permissivo e Autoritativo. O estilo autoritário caracteriza-se por pais que dão muitos limites e pouco afeto. Estes pais procuram manter a ordem e o controle da família, devendo a obediência ser alcançada ainda que sob padrões punitivos. O estilo permissivo caracteriza-se por pais que dão pouco limite e muito afeto. Nesse caso, há uma crença naturalista segundo a qual a criança deve expressar livremente suas necessidades e aprender por si só. Estes pais não se vêem como responsáveis por ensinar ou modificar comportamentos infantis. O estilo autoritativo caracteriza-se por pais que dão muito limite e muito afeto. O cuidador apresenta condutas intermediárias entre as permissivas e autoritárias, estimulando verbalizações emocionais, permitindo que os filhos participem das decisões, estimulando argumentações, autonomia e disciplina. A empatia é considerada uma habilidade essencial para a manutenção dos laços sociais, que propicia a percepção da necessidade do outro e ao mesmo tempo favorece a sensação de ser compreendido. A assertividade é a habilidade de expressar e defender sua opinião com firmeza e segurança, sem, contudo desrespeitar o outro. Esta pesquisa tem como hipótese a idéia de que pais autoritativos seriam mais empáticos e assertivos do que pais autoritários. O objetivo deste estudo foi correlacionar os Estilos Parentais s Habilidades Sociais: Assertividade e Empatia. Participaram da pesquisa 64 pais, 21 homens e 43 mulheres. Os instrumentos utilizados foram: o Inventário de Habilidades Sociais (IHS-Del Prette), ao Inventario de Empatia (IE FALCONE) e ao Parental Autority Questionary (PAQ). A Análise dos dados foi feita através do SPSS. Foram efetuadas correlações r de Person entre os fatores do PAQ e os fatores do IHS e do IE. Os resultados apontaram para uma correlação positiva (r = 0,30 ; p < 0,05) entre o fator Enfrentamento e Auto-afirmação do IHS e o estilo Autoritativo. Uma relação negativa (r = -0,24 ; p < 0,05) foi observada entre este mesmo fator e o estilo Autoritário. Em relação a empatia, os fatores Tomada de Perspectiva (r = 0,33 ; p < 0,01), Sensibilidade Afetiva (r = 0,25 ; p < 0,05) e Autruismo (r = 0,25 ; p < 0,05) correlacionaram-se positivamente ao estilos Autoritativo, Em relação ao fator Autoritário, foi verificada uma correlação negativa ( r = -0,24 ; p < 0,05) com o fator Altruísmo do IE. A partir deste resultado, foram realizadas três análises de regressão linear múltipla (stepwise) considerando cada um dos fatores do PAQ como variáveis dependentes dos fatores do IHS e do IE. Os Fatores Enfrentamento e Auto-afirmação do IHS e o fator Autruísmo do IE junto explicam 15% da variância do Fator autoritativo. Os resultados apresentados são discutidos a luz da psicologia do desenvolvimento, psicologia social e neuropsicologia.

A paternidade em famílias urbanas: uma análise da participação do pai na creche-escola e nos cuidados com o filho

Este estudo parte dos pressupostos de que o desenvolvimento humano em todos os seus aspectos depende de um outro social, de que a família é o primeiro ambiente socializador da criança, e suas práticas são essenciais para que a criança se desenvolva. Pressupõe-se também que: os bebês compartilham características universais, interações são constitutivas do desenvolvimento, o investimento parental é característica da espécie, e o formato que cada um desses aspectos assume está diretamente relacionado ao contexto sociocultural. A partir desses pressupostos pode-se pensar nas mudanças nos papéis sociais exigidas pelo sistema econômico da sociedade urbana ocidental, em que a mulher cada vez mais tem trabalhos remunerados, necessitando muitas vezes deixar os filhos em creches e levando o pai a ganhar espaço em relação aos cuidados com os filhos, inclusive tendo uma participação nestas instituições. Desta forma, o presente trabalho pretendeu investigar os diversos aspectos do envolvimento paterno com seus filhos, inclusive a sua participação na creche,, buscando compreendê-lo através da abordagem sociocultural. Fizeram parte da pesquisa empírica nesta tese três estudos distintos com pais e mães de crianças de 0 a 5 anos, incluindo entrevistas, aplicação do instrumento Estilo Paterno e análise da participação paterna em eventos e atividades escolares, com o intuito de investigar o nível de satisfação paterno e materno com o envolvimento do pai com os filhos e identificando em que aspectos essa participação é mais ou menos freqüente nos cuidados cotidianos, incluindo a escola. Os resultados encontrados indicam que, embora haja uma tendência dos pais em um maior engajamento nas atividades voltadas para o entretenimento com os filhos, estes se mostram cada vez mais disponíveis para o engajamento nas demais atividades diárias. Na creche há uma tendência de maior participação paterna quanto menor a idade do filho e enquanto não prevalecem os aspectos pedagógicos. Os pais participantes de uma forma geral estão satisfeitos com o seu exercício da paternidade, mas consideram que as mães, não só incentivam a sua participação, como desejam um maior engajamento dos pais. Ao término deste estudo podemos afirmar que, as famílias participantes desta amostra brasileira na cidade do Rio de Janeiro, tendem a não ter como prática o exercício da paternidade tradicional, porém ainda não vivem plenamente o exercício da paternidade não tradicional.

One style does not fit all

The different types of outsourcing and the management requirements for each of them are discussed. An outsourcing has a high strategic importance to the buying company when it is aligned with the organization's long term strategies and when its results are either positive or negative. Functional outsourcings are characterized by both low strategic importance and financial impact, and the products/services that fall in this category belong to support activities which are highly standardized. Leverage outsourcings are those that have a low strategic importance, but high financial impact to the outsourcer, and they concentrate on operational aspects, leaving strategic issues.

A VSLMS Style Tap-length Learning Algorithm for Structure Adaptation

Compared with the ordinary adaptive filter, the variable-length adaptive filter is more efficient (including smaller., lower power consumption and higher computational complexity output SNR) because of its tap-length learning algorithm, which is able to dynamically adapt its tap-length to the optimal tap-length that best balances the complexity and the performance of the adaptive filter. Among existing tap-length algorithms, the LMS-style Variable Tap-Length Algorithm (also called Fractional Tap-Length Algorithm or FT Algorithm) proposed by Y.Gong has the best performance because it has the fastest convergence rates and best stability. However, in some cases its performance deteriorates dramatically. To solve this problem, we first analyze the FT algorithm and point out some of its defects. Second, we propose a new FT algorithm called 'VSLMS' (Variable Step-size LMS) Style Tap-Length Learning Algorithm, which not only uses the concept of FT but also introduces a new concept of adaptive convergence slope. With this improvement the new FT algorithm has even faster convergence rates and better stability. Finally, we offer computer simulations to verify this improvement.

Optimization of Global Signal Networks for Island-Style FPGAs

We present a staggered buffer connection method that provides flexibility for buffer insertion while designing global signal networks using the tile-based FPGA design methodology. An exhaustive algorithm is used to analyze the trade-off between area and speed of the global signal networks for this staggered buffer insertion scheme, and the criterion for determining the design parameters is presented. The comparative analytic result shows that the methods in this paper are proven to be more efficient for FPGAs with a large array size.

Automatic detection of learner-style for adaptive eLearning

The advent of modern wireless technologies has seen a shift in focus towards the design and development of educational systems for deployment through mobile devices. The use of mobile phones, tablets and Personal Digital Assistants (PDAs) is steadily growing across the educational sector as a whole. Mobile learning (mLearning) systems developed for deployment on such devices hold great significance for the future of education. However, mLearning systems must be built around the particular learner’s needs based on both their motivation to learn and subsequent learning outcomes. This thesis investigates how biometric technologies, in particular accelerometer and eye-tracking technologies, could effectively be employed within the development of mobile learning systems to facilitate the needs of individual learners. The creation of personalised learning environments must enable the achievement of improved learning outcomes for users, particularly at an individual level. Therefore consideration is given to individual learning-style differences within the electronic learning (eLearning) space. The overall area of eLearning is considered and areas such as biometric technology and educational psychology are explored for the development of personalised educational systems. This thesis explains the basis of the author’s hypotheses and presents the results of several studies carried out throughout the PhD research period. These results show that both accelerometer and eye-tracking technologies can be employed as an Human Computer Interaction (HCI) method in the detection of student learning-styles to facilitate the provision of automatically adapted eLearning spaces. Finally the author provides recommendations for developers in the creation of adaptive mobile learning systems through the employment of biometric technology as a user interaction tool within mLearning applications. Further research paths are identified and a roadmap for future of research in this area is defined.

Chicana poetics: genre and style in Gloria Anzaldúa and Lorna Dee Cervantes

This thesis conducts a formal study of the poetry of Gloria Anzaldúa and Lorna Dee Cervantes, placing their work in dialogue with genre and style. These two Chicana poets are exemplary of politicised experimentation with poetics, underpinned by a keen awareness of the rich history of form, genre and style. In the work of each poet, two poetic modes are examined: one traditional, and one experimental. Anzaldúa’s uses of the dramatic monologue as a border genre, and her construction of [auto]poetics, stemming from her multi-genre, autobiographical approach to writing, are considered. Cervantes’s complex approach to the construction of docupoetics that achieves a depth of field in terms of merging a multidimensional approach to aesthetics with highly politicised transnational content, as well as her engagement with the longstanding poetic of elegy via various formal points of entry, is investigated. These poetic modes are primarily explored via close readings, supported by a multidisciplinary framework that includes Anzaldúa’s feminist theories of identity and writing, abjection theory, postcolonialism, and transnationalism. Overall, these four key areas demonstrate the ways in which aesthetics is a crucial consideration in the exploration of the broader issues of content and context in Chicana poetry.

Memory and learning for a novel written style.

Subjects read and recalled a series of five short stories in one of four plot and style combinations. The stories were written in one of two styles that consisted of opposing clause orders (i.e., independent-dependent vs. dependent-independent), tense forms (i.e., past vs. present), and descriptor forms (modifier modifier vs. modifier as a noun). The subjects incorporated both plot and style characteristics into their recalls. Other subjects, who, after five recalls, either generated a new story or listed the rules that had been followed by the stories read, included the marked forms of the characteristics they learned more often, except for tense. The subjects read and recalled four stories of the same plot and style and then read and recalled a fifth story of the same plot and style or of one of the other three plot/style combinations. Ability to switch style depended on both the characteristic and the markedness.

The Evolution of Rachmaninov's Pianistic Style from 1892 to 1941 as Seen in Selected Original Works and Transcriptions for Piano

Unlike some other major composer-pianists (Franz Liszt and Alexander Scriabin being the most notable examples), Sergei Rachmaninov did not experience any dramatic changes in his compositional style; one can, however, notice certain stylistic differences between piano works composed during different periods of his long creative life. This dissertation argues that a clear evolution of Rachmaninov's pianistic style through his three creative periods can be traced by examining a selection of his compositions, from his first significant cycle for piano, 5 Marceaux de fantaisie, Op. 3 (1892), all the way through to his last piano work, a transcription of P.I.Tchakovsky's Lullaby, Op. 16, No. 1 (1941). Rachmaninov's life as a composer can be divided into three periods. His early period was ended abruptly by the disastrous premiere ofhis First Symphony in 1897, which caused a deep psychological crisis in the life of the young composer. Piano works of this period are often characterized by relatively simple homophonic texture, when Rachmaninov was clearly influenced by some of his Russian predecessors, most notably Tchaikovsky. His second and most productive period, also known as the period of"Russian maturity," started in 1900, when he began working on the Second Suite for two pianos, Op. 17, and the Second Concerto, Op. 18; this phase ended with the Russian Bolshevik revolution of 1917. Works of this time exhibit a mature style of piano writing, with rich, virtuosic - often considered excessive by many critics - texture and ever-increasing use of chromatic harmonies. Rachmaninov's works of the third period are limited in number owing to the composer's preoccupation with a career as pianist. Original works for piano now give way to revisions of earlier compositions and transcriptions: Rachmaninov's piano writing becomes more efficient and economical without losing any of its virtuosic brilliance. This dissertation project examines in detail, over the course of three piano recitals, a variety of works composed during the "Russian maturity" period, from several Preludes from Op. 23 (1903), the first major cycle for solo piano of the period, to 9 Etudes-Tableaux, Op.39 (1917), the last one; the early period is represented by 3 of 5 Marceaux defantaisie, Op. 3 (1892), while the late period is shown through several piano transcriptions and revised versions of the remaining 2 pieces from Op. 3.

THE COMPLETE PRELUDES OF ALEXANDER SCRIABIN: THE EVOLUTION OF HIS REVOLUTIONARY COMPOSITIONAL STYLE

During the second half of the nineteenth century, a series of remarkable advances in musical composition emerged in the works of such innovative spirits as Franz Liszt, Hector Berlioz and Richard Wagner. Their pioneering works exerted an extraordinary impact on the music of the subsequent generation of composers--of disparate nationalities-who were active at the dawn of the 20th century: Including most notably Claude-Achille Debussy, Gustav Mahler, Richard Strauss, and Alexander Nikolayevich Scriabin. These important musical figures, each one leaving an indelible and formative imprint on late-nineteenth century Romantic style, together launched the modern era in music. Scriabin stands alone as a transcendental visionary: His music, initiated in the fashion of Chopin and Liszt, wanders through the realms of Debussy and Wagner, and, ultimately abandoning late Romantic tradition, unlocks the heretofore unforeseen power of atonality, bitonality, polyrhythms and key-signature free compositions. Arguably, Scriabin's compositions count among the most innovative, idiosyncratic and bewitching of all time. The development of Scriabin's groundbreaking compositional style is best understood by means of his piano works, which comprise the majority of his oeuvre. Beyond the larger works-his twelve sonatas, a concerto and a fantasy-Scriabin's piano explorations are also represented by miniature gems: The mazurkas, impromptus, waltzes, poems, a polonaise, etudes, nocturnes, morceaux and, in particular, the preludes. Scriabin's 90 preludes for piano, arranged in several opus numbers, richly exemplify the striking evolution of his ingenious music, his idiosyncratic philosophy and his provocative personality.