Fast Transforms for Acoustic Imaging-Part I: Theory

The classical approach for acoustic imaging consists of beamforming, and produces the source distribution of interest convolved with the array point spread function. This convolution smears the image of interest, significantly reducing its effective resolution. Deconvolution methods have been proposed to enhance acoustic images and have produced significant improvements. Other proposals involve covariance fitting techniques, which avoid deconvolution altogether. However, in their traditional presentation, these enhanced reconstruction methods have very high computational costs, mostly because they have no means of efficiently transforming back and forth between a hypothetical image and the measured data. In this paper, we propose the Kronecker Array Transform ( KAT), a fast separable transform for array imaging applications. Under the assumption of a separable array, it enables the acceleration of imaging techniques by several orders of magnitude with respect to the fastest previously available methods, and enables the use of state-of-the-art regularized least-squares solvers. Using the KAT, one can reconstruct images with higher resolutions than was previously possible and use more accurate reconstruction techniques, opening new and exciting possibilities for acoustic imaging.

Knowledges and practices of successful literacy teachers (Brazil, 1950-1980)

Significant changes have marked Brazilian education in the period focused on by this research. Aiming to understand the configurations of the teaching profession in that period, this work focuses on the issue of the school success in the area of literacy by means of an analysis of the practices of literacy teachers who were at work between the 1950s and 1980s. The research is based on life-history accounts. The study aimed at describing the various experiences of these teachers identifying the knowledges and practices that sustained their successful literacy work as well as the various factors of a social, religious, political, familiar or other nature that, in the history of each of these teachers, favoured the development of a pedagogical style of literacy particular to each one of them. Despite the peculiarities and originality of each history, the success in the literacy process, as the defining feature of the profile of the four teachers, results from two main aspects: first, the autonomy that each one managed to keep in the development of his/her teaching work, particularly in the organisation of the teaching practices that indicated greater chances of a pupil`s learning to read and write; second, their trust in the capacity of every child for learning, independently of his/her social, economic and cultural conditions. Based on this evidence it is argued that the success of the pedagogical work, particularly during the early years of schooling, lies in an ethics of the teaching work with a double implication: first, it requires the teachers` dedication to their pupils, and second, it requires respect for the work of the teacher, so that she/he can maintain her/his autonomy and inventiveness. These aspects indicate the need for reflection on teaching work and a review of current teacher education policies, particularly the policies targeted at teachers working with literacy practices.

`As intermitencias da morte`: debate concerning the right to lusophone literature in the youngers and adults` literacy process.

The article discusses the right to lusophone literature - Saramago, as example - in the process of teacher` s formation and inside of adults` literacy through formation research process at Sao Paulo city.

Modal functions of future tenses in French

The paper disputes two influential claims in the Romance Linguistics literature. The first is that the synthetic future tenses in spoken Western Romance are now rivalled, if not supplanted, as temporal functors by the more recently developed GO futures. The second is that these synthetic futures now have modal rather than temporal meanings in spoken Romance. These claims are seen as reflecting a universal cycle of diachronic change, in which verb forms originally expressing modal (or aspectual) values take on future temporal reference, becoming tenses. The new modal meanings supplant the temporal, which are then taken up by new forms. Challenges to this theory for French are raised on the basis of empirical evidence of two sorts. Positively, future tenses in spoken Romance continue to be used with temporal meaning. Negatively, evidence of modal meaning for these forms is lacking. The evidence comes froma corpora of spoken French, native speaker judgements and verb data from a daily broadsheet. Cumulatively, it points to the reverse of the claims noted above: the synthetic future in spoken French has temporal but little modal meaning.

It's all very well, in theory: Theoretical perspectives and their applications in contemporary pedagogical research

Current debates about educational theory are concerned with the relationship between knowledge and power and thereby issues such as who possesses a truth and how have they arrived at it, what questions are important to ask, and how should they best be answered. As such, these debates revolve around questions of preferred, appropriate, and useful theoretical perspectives. This paper overviews the key theoretical perspectives that are currently used in physical education pedagogy research and considers how these inform the questions we ask and shapes the conduct of research. It also addresses what is contested with respect to these perspectives. The paper concludes with some cautions about allegiances to and use of theories in line with concerns for the applicability of educational research to pressing social issues.

Half-Filled Layered Organic Superconductors and the Resonating-Valence-Bond Theory of the Hubbard-Heisenberg Model

We present a resonating-valence-bond theory of superconductivity for the Hubbard-Heisenberg model on an anisotropic triangular lattice. Our calculations are consistent with the observed phase diagram of the half-filled layered organic superconductors, such as the beta, beta('), kappa, and lambda phases of (BEDT-TTF)(2)X [bis(ethylenedithio)tetrathiafulvalene] and (BETS)(2)X [bis(ethylenedithio)tetraselenafulvalene]. We find a first order transition from a Mott insulator to a d(x)(2)-y(2) superconductor with a small superfluid stiffness and a pseudogap with d(x)(2)-y(2) symmetry.

The effects of Australian tall poppy attitudes on American value based leadership theory

A survey study of twenty-two Australian CEOs and their subordinates assessed relationships between Australian leader motives, Australian value based leader behaviour, subordinate tall poppy attitudes and subordinate commitment, effectiveness, motivation and satisfaction (CEMS). On the whole, the results showed general support for value based leadership processes. Subsequent regression analyses of the second main component of Value Based Leadership Theory, value based leader behaviour, revealed that the collectivistic, inspirational, integrity and visionary behaviour sub-scales of the construct were positively related with subordinate CEMS. Although the hypothesis that subordinate tall poppy attitudes would moderate value based leadership processes was not clearly supported, subsequent regression analyses found that subordinate tall poppy attitudes were negatively related with perceptions of value based leader behaviour and CEMS. These findings suggest complex relationships between the three constructs, and the proposed model for the Australian context is accordingly amended. Overall, the research supports the need to consider cultural-specific attitudes in management development.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Project to investigate improving literacy and numeracy outcomes of distance education students in the early years of schooling

The project was commissioned to investigate and analyse the issue of effective support for distance education students in the early years of school to maximise literacy and numeracy outcomes. The scope of this project was limited to students living in rural and remote areas who are undertaking education at home and who are in their early years of schooling. For the purpose of this project, the early years are conceptualised as the first three years of formal compulsory schooling in each of the States and Territories. There were a number of key tasks for the project which included: 1. Examining of the role of home tutors/supervisors This included interviewing personnel from the State and Territory distance education providers as well as the principals, teachers, home tutors and children. 2. Describing literacy and numeracy teaching and learning, and the use of information and communication technologies (ICT) in distance education This aspect of the project involved a critical review and analysis of relevant literature and reports in the last five years, and a consideration of the new initiatives that had been implemented in the States and Territories in the last two years. 3. The development of resources Through examination of the role of home tutors/supervisors, and an examination of literacy and numeracy and the use of technology in distance education, three resources were developed: ● A guide for home tutors/supervisors and schools of distance education about effective intervention and assessment strategies to support students’ learning and to assist the home tutors/supervisors in implementing ICT to support the development of literacy and numeracy in the early years. ● A calendar of activities for literacy and numeracy that would act as a stimulus for integrated and authentic activity for young children. ● An embryonic website of resources for the stakeholders in rural and distance education that might act as a catalyst for future resource building and sharing. In this way the final key task of the project, which was to create a context for a strategic dissemination plan, was realised when a strategy to address effective dissemination of the findings of the project so as to maximise their usefulness for the relevant groups was achieved.