High-level Transformations using Canonical Dataflow Representation

International audienceThis paper describes a systematic method and an experimental software system for high-level transformations of designs specified at behavioral level. The goal is to transform the initial design specifications into an optimized data flow graph (DFG) better suited for high-level synthesis. The optimizing transformations are based on a canonical Taylor Expansion Diagram (TED) representation, followed by structural transformations of the resulting DFG network. The system is intended for data-flow and computation-intensive designs used in computer graphics and digital signal processing applications

The professional learning leadership of school mathematics leaders after participation in a large-scale primary school mathematics improvement project : An activity theory perspective

This thesis examines how mathematics leaders, working as middle leaders in three separate primary schools in Melbourne, Australia, contributed to project sustainability in the years that followed participation in a large-scale school mathematics professional development project. Informed by a cultural-historical activity theory (CHAT) perspective, the thesis presents how those mathematics leaders contributed to the sustainability of project-initiated reforms through their post-project professional learning leadership activity. Project sustainability is a complex issue in school settings, often proving to be challenging activity for practitioners and researchers alike. One important element of enduring school improvement requires a focus on sustaining change, yet that proves to be the significant challenge. A reason for that challenge is the lack of knowledge, derived from research studies, that examines the sustainability of projects beyond the time of participation in them. Another added layer of complexity is that middle leadership, like that enacted by the mathematics leaders, remains an under-researched area of educational leadership. Even fewer studies have drawn attention to how mathematics leaders contribute to project sustainability. This thesis asked how the mathematics leaders contributed to project sustainability as middle leaders of professional learning in their school sites. Acknowledging that middle leadership has been theorised as a form of practice, CHAT was used as the approach to understand the collective facets of the mathematics leaders’ activity. A focus was taken on how their object-oriented activity developed and transformed over time. CHAT concepts associated with the activity system were used as analytical tools to understand how the mathematics leaders’ professional learning leadership activity progressed in response to contradictions that surfaced within their activity. Drawing on the work of CHAT researchers, a research process was specifically designed as a series of actions intended to realise the objective of the thesis. Those actions included conducting CHAT workshops with the mathematics leaders, clarifying the historicity of their activity system, producing and reporting findings of the historical activity system as a member-checking strategy, conducting a detailed inquiry into post-project activity system, and producing and reporting findings of the post-project activity system for member-checking. As a means of generating data to respond to the research question, the data methods of interviews, observations, and document retrieval were employed. Data were analysed using deductive and inductive analysis. Concepts from the CHAT and literature were used to create coding schemes to support those data analysis approaches. The findings of this thesis are presented through three discussion chapters that offer a temporal sequence of activity experienced by the mathematics leaders from the time of their leadership activity during project participation to the years following participation. The first of the findings chapters discusses the historical trajectory of the mathematics leaders’ professional learning leadership, beginning with the descriptions of the historically accumulated contradiction that gave rise to the decision for the mathematics leaders' schools to participate in the project. There is an explanatory focus on the motive objects of activity pursued by the mathematics leaders during project participation. The claim is presented that the mathematics leaders shifted the direction of their leadership from managerial motive objects to ones that focused more on leadership as project participation progressed. The next chapter discusses findings that reveal that at completion of project participation, the mathematics leaders were relieved that their principals established commitment rules intended to mediate project sustainability. The historical contradiction, which had faded in prominence during the project, resurfaced and manifested as a critical conflict realised as several problems of practice. That gave rise to several post-project problems of practice that realised struggle for the mathematics leaders. That struggle was compounded by feelings of responsibility for project sustainability in their schools. The claim is made that mathematics leaders responded to their struggle and feelings of responsibility through care and creativity which initiated enactment of their form of resourceful practice. The final discussion chapter presents further evidence that the mathematics leaders enacted their resourceful practice that became their contribution to project sustainability. Through their attempts to resolve the post-project practice problems, the mathematics leaders reconfigured the motive objects of their activity, seeing them privilege relational trust building for and about mathematics teaching. Through that motive object reconfiguration, the mathematics leaders’ activity was multi-motivational activity and realised through new leadership actions. Evidence of a newly surfaced contradiction is reported, and its existence is explained. The claim is presented that that contradiction surfaced due to the relational motive object that the mathematics leaders privileged, revealing the enabling yet constraining potential of the relational dimension of their professional learning leadership activity. This thesis contributes to knowledge about project sustainability, claiming that as middle leaders in their schools enacting their resourceful practice, the mathematics leaders acted as agents of project sustainability. The findings add further information of mathematics leaders as middle leaders who play a crucial role within the school leadership factor of project sustainability. The implication of the thesis is that professional development designers and facilitators must attend to the factors of project sustainability and pay attention to the vitality of relationality that penetrates the motive objects of activity enacted by mathematics leaders through their professional learning leadership

Lamak

This is the first study to examine in detail ritual objects known as ‘Lamak’, a fascinating and unique form of ephemeral material culture which is a prominent feature of Balinese creativity. A lamak is a long narrow ritual hanging that is an essential requirement at almost all rituals in Bali. It is hung from altars and shrines at temple festivals and on festive holy days. Made usually of palm leaves, it is by nature ephemeral and it is made time and again. Even though permanent forms of the lamak, made of cloth or coins, do exist, the ephemeral palm leaf form must be present. Sometimes reaching a length of several metres and decorated with a range of motifs, its most elaborate forms are made by specialist craftsmen and women. The lamak serves as base for offerings and attracts deities and deified ancestors to them. Decorative motifs representing sources of life are ordered according to Balinese concepts of the vertical structure of the cosmos. Best known among the motifs is the cili, a human figure in female form that symbolizes human fertility and regeneration. Through offerings and the active role of the lamak, worshippers offer thanks to their deities and request prosperity and protection. Despite decades of change and modernization that have affected all aspects of life in Bali, the essential role of the lamak has survived intact. Although there are many studies of Bali’s internationally appreciated arts and crafts, this is the first one to examine in detail this fascinating and unique form of ephemeral material culture which is a prominent feature of Balinese creativity. The study answers the question: why do Balinese make lamak and why do they continue to make them time and again? It examines the use and function of the lamak in ritual, the motifs that decorate them, the materials and techniques to make them, regional and individual styles, and processes of change and commercialization

Verification in the Hierarchical Development of Reactive Systems

In many approaches to the verification of reactive systems, operational semantics are used to model systems whereas specifications are expressed in temporal logics. Most approaches however fail to handle changes of the specification but assume, that the initial specification is indeed the intended one. Changing the specification thus necessitates to find an accordingly adapted system and to carry out the verification from scratch. During a systems life cycle however, changes of the requirements and resources necessitate repeated adaptations of specifications. We here propose a method that supports syntactic action refinement (in the process algebra TCSP and the Modal Mu-Calculus) and allows to automatically obtain (a priori) correct reactive systems by hierarchically adding details to the according specifications

On the Development and Management of Adaptive Business Collaborations.

Today’s business climate demands a high rate of change with which Information Technology (IT)-minded organizations are required to cope. Organizations face rapidly changing market conditions, new competitive pressures, new regulatory fiats that demand compliance, and new competitive threats. All of these situations and more drive the need for the IT infrastructure of an organization to respond quickly in support of new business models and requirements. This dissertation studies the adaptive development and management of such dynamic business models and requirements. A rule based environment is developed in which the people who develop and manage business collaborations in organizations can do so in a way that is as independent of specific implementation technologies as possible; and where they can take business requirements into consideration, and in which they can respond to changes as effectively as possible.

Transformation of multiply transitive permutation sets and finite regular near-fields

It is proved that a finite regular nearfield can be obtained by transformation of a field, in the sense of [L.A.Rosati, P.Quattrocchi "Transformations of designs and other incidence structures" Geom Ded. 44, (1992), 167-173] iff it is an André system

High-level Transformations using Canonical Dataflow Representation

International audienceThis paper describes a systematic method and an experimental software system for high-level transformations of designs specified at behavioral level. The goal is to transform the initial design specifications into an optimized data flow graph (DFG) better suited for high-level synthesis. The optimizing transformations are based on a canonical Taylor Expansion Diagram (TED) representation, followed by structural transformations of the resulting DFG network. The system is intended for data-flow and computation-intensive designs used in computer graphics and digital signal processing applications

Optimization of Data-Flow Computations Using Canonical TED Representation

12 pagesInternational audienceThis paper describes a systematic method and an experimental software system for high-level transformations of designs specified at behavioral level. The goal is to transform the initial design specifications into an optimized data flow graph (DFG) better suited for high-level synthesis. The optimizing transformations are based on a canonical Taylor Expansion Diagram (TED) representation, followed by structural transformations of the resulting DFG network. The system is intended for data-flow and computation-intensive designs used in computer graphics and digital signal processing applications