The CIAO multiparadigm compiler and system: A progress report

Abstract is not available

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system

Getting to Outcomes: A User's Guide to a Revised Indicators Framework for Education Organizing

Research for Action (RFA) has been among those engaged in education organizing research and has drawn on its previous efforts–as well as the knowledge built by community organizing groups and other researchers–to create this User's Guide. The Indicators Framework can serve as a tool to help education organizing groups engage in self-reflection and evaluation of their efforts. Communities for Public Education Reform (CPER) commissioned RFA to update its theory of change, developed in partnership with CPER in 2002. The theory of change explains how education organizing works to strengthen communities and improve schools. Accompanying this theory of change was a set of indicators that could be used to assess the outcomes of the organizing process. This updated Indicators Framework reflects the adaptations education organizing groups are making in response to the new education realities, and to over a decade of experience working to change schools in low-income neighborhoods

An engineering approach to automatic programming

An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format

Empiricism without Magic: Transformational Abstraction in Deep Convolutional Neural Networks

In artificial intelligence, recent research has demonstrated the remarkable potential of Deep Convolutional Neural Networks (DCNNs), which seem to exceed state-of-the-art performance in new domains weekly, especially on the sorts of very difficult perceptual discrimination tasks that skeptics thought would remain beyond the reach of artificial intelligence. However, it has proven difficult to explain why DCNNs perform so well. In philosophy of mind, empiricists have long suggested that complex cognition is based on information derived from sensory experience, often appealing to a faculty of abstraction. Rationalists have frequently complained, however, that empiricists never adequately explained how this faculty of abstraction actually works. In this paper, I tie these two questions together, to the mutual benefit of both disciplines. I argue that the architectural features that distinguish DCNNs from earlier neural networks allow them to implement a form of hierarchical processing that I call “transformational abstraction”. Transformational abstraction iteratively converts sensory-based representations of category exemplars into new formats that are increasingly tolerant to “nuisance variation” in input. Reflecting upon the way that DCNNs leverage a combination of linear and non-linear processing to efficiently accomplish this feat allows us to understand how the brain is capable of bi-directional travel between exemplars and abstractions, addressing longstanding problems in empiricist philosophy of mind. I end by considering the prospects for future research on DCNNs, arguing that rather than simply implementing 80s connectionism with more brute-force computation, transformational abstraction counts as a qualitatively distinct form of processing ripe with philosophical and psychological significance, because it is significantly better suited to depict the generic mechanism responsible for this important kind of psychological processing in the brain

Building coalitions, creating change: an agenda for gender transformative research in development Workshop Report 3-5 October 2012, Penang, Malaysia

There is compelling evidence that increased gender equity can make a significant contribution towards alleviating poverty and increasing food security. But past efforts to integrate gender into agricultural research and development practice have failed to address the inequalities that limit women’s access to agricultural inputs, markets, resources and advice. A Gender Transformative Approach (GTA) goes beyond just considering the symptoms of gender inequality, and addresses the social norms, attitudes, behaviors and social systems that underlie them. The CGIAR Research Program on Aquatic Agricultural Systems (AAS) has placed the GTA at the heart of its gender strategy. This workshop was an opportunity for researchers, practitioners and donors working in this area to address the challenge of how to translate this approach into actual research and development practice. The workshop recommended that a GTA should be adopted alongside, not instead of, existing efforts to reverse gender disparities in resources, technologies and markets. It is through this pairing that improved social and material outcomes can be achieved, with the expectation that when achieved together, both types of outcomes will be more lasting than if achieved individually

Starting Out Right: A Cluster Evaluation of the Early Childhood Grants of the John S. and James L. Knight Foundation: Year 3 Final Report

Evaluates Knight's early childhood grantmaking in twelve communities, with a focus on grants that transform systems and build networks at a scale sufficient to create meaningful change. Presents grantee results and lessons learned

Chasing the honey bee: enhancing leadership for sustainability

This paper explores the ways in which different conceptions of leadership can contribute to the sustainability of economic productivity, social equity and, of course, the natural systems and resources upon which all social and economic development depend. It begins by briefly defining leadership and outlining the major approaches to leadership studies in terms of trait and social theories of leadership. In particular, the paper argues that transformational leadership and what Western (2013) calls “eco-leadership” are most consistent with the systemic, ethical and learning dimensions of sustainability. This involves contrasting what Avery and Bergsteiner (2011, 2013) call the “honey bee” and the “locust” approaches to leadership. With these authors, the chapter argues that the “honey bee” approach of critical, transformational leadership is most consistent with sustainability. The paper concludes with an example of how capacities for “honey bee” leadership and eco-leadership can be developed and enhanced through a university programme

Culture change in elite sport performance teams: Examining and advancing effectiveness in the new era

Reflecting the importance of optimizing culture for elite teams, Fletcher and Arnold (2011) recently suggested the need for expertise in culture change. Acknowledging the dearth of literature on the specific process, however, the potential effectiveness of practitioners in this area is unknown. The present paper examines the activity's precise demands and the validity of understanding in sport psychology and organizational research to support its delivery. Recognizing that sport psychologists are being increasingly utilized by elite team management, initial evidence-based guidelines are presented. Finally, to stimulate the development of ecologically valid, practically meaningful knowledge, the paper identifies a number of future research directions