The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coinductive proof is the choice of a relation (called a bisimulation). We present an automation of coinductive theorem proving. This automation is based on the idea of proof planning. Proof planning constructs the higher level steps in a proof, using knowledge of the general structure of a family of proofs and exploiting this knowledge to control the proof search. Part of proof planning involves the use of failure information to modify the plan by the use of a proof critic which exploits the information gained from the failed proof attempt. Our approach to the problem was to develop a strategy that makes an initial simple guess at a bisimulation and then uses generalisation techniques, motivated by a critic, to refine this guess, so that a larger class of coinductive problems can be automatically verified. The implementation of this strategy has focused on the use of coinduction to prove the equivalence of programs in a small lazy functional language which is similar to Haskell. We have developed a proof plan for coinduction and a critic associated with this proof plan. These have been implemented in CoClam, an extended version of Clam with encouraging results. The planner has been successfully tested on a number of theorems.

Relaciones universidad-empresa : ¿y cuando la universidad es la empresa?

En el trabajo se analiza el caso del Laboratorio de Hemoderivados "Presidente Illia" de la Universidad Nacional de Córdoba (UNC- Hemoderivados), el cual resulta una experiencia relevante para reflexionar en torno a la denominada "relación universidad-empresa", uno de los tópicos más abordados por la literatura que se dedica al análisis de las relaciones entre universidad y sociedad.

Relaciones universidad-empresa : ¿y cuando la universidad es la empresa?

En el trabajo se analiza el caso del Laboratorio de Hemoderivados "Presidente Illia" de la Universidad Nacional de Córdoba (UNC- Hemoderivados), el cual resulta una experiencia relevante para reflexionar en torno a la denominada "relación universidad-empresa", uno de los tópicos más abordados por la literatura que se dedica al análisis de las relaciones entre universidad y sociedad.

Relaciones universidad-empresa : ¿y cuando la universidad es la empresa?

En el trabajo se analiza el caso del Laboratorio de Hemoderivados "Presidente Illia" de la Universidad Nacional de Córdoba (UNC- Hemoderivados), el cual resulta una experiencia relevante para reflexionar en torno a la denominada "relación universidad-empresa", uno de los tópicos más abordados por la literatura que se dedica al análisis de las relaciones entre universidad y sociedad.

Productive Diversification and Sustainable Use of Complex Social-Ecological Systems: A Comparative Study of Indigenous and Settler Communities in the Bolivian Amazon

Agricultural and forest productive diversification depends on multiple socioeconomic drivers—like knowledge, migration, productive capacity, and market—that shape productive strategies and influence their ecological impacts. Our comparison of indigenous and settlers allows a better understanding of how societies develop different diversification strategies in similar ecological contexts and how the related socioeconomic aspects of diversification are associated with land cover change. Our results suggest that although indigenous people cause less deforestation and diversify more, diversification is not a direct driver of deforestation reduction. A multidimensional approach linking sociocognitive, economic, and ecological patterns of diversification helps explain this contradiction.

Vegetative, productive and qualitative performance of grapevine "Cabernet Sauvignon" according to the use of winter cover crops¹.

2016

An investigation into the use of a blended model of learning in a first year accounting subject

The weaknesses of ‗traditional‘ modes of instruction in accounting education have been widely discussed. Many contend that the traditional approach limits the ability to provide opportunities for students to raise their competency level and allow them to apply knowledge and skills in professional problem solving situations. However, the recent body of literature suggests that accounting educators are indeed actively experimenting with ‗non-traditional‘ and ‗innovative‘ instructional approaches, where some authors clearly favour one approach over another. But can one instructional approach alone meet the necessary conditions for different learning objectives? Taking into account the ever changing landscape of not only business environments, but also the higher education sector, the premise guiding the collaborators in this research is that it is perhaps counter productive to promote competing dichotomous views of ‗traditional‘ and ‗non-traditional‘ instructional approaches to accounting education, and that the notion of ‗blended learning‘ might provide a useful framework to enhance the learning and teaching of accounting. This paper reports on the first cycle of a longitudinal study, which explores the possibility of using blended learning in first year accounting at one campus of a large regional university. The critical elements of blended learning which emerged in the study are discussed and, consistent with the design-based research framework, the paper also identifies key design modifications for successive cycles of the research.

Making use of pedagogic models as reflective catalysts for investigating pedagogic practice

The notion of pedagogy for anyone in the teaching profession is innocuous. The term itself, is steeped in history but the details of the practice can be elusive. What does it mean for an academic to be embracing pedagogy? The problem is not limited to academics; most teachers baulk at the introduction of a pedagogic agenda and resist attempts to have them reflect on their classroom teaching practice, where ever that classroom might be constituted. This paper explores the application of a pedagogic model (Education Queensland, 2001) which was developed in the context of primary and secondary teaching and was part of a schooling agenda to improve pedagogy. As a teacher educator I introduced the model to classroom teachers (Hill, 2002) using an Appreciative Inquiry (Cooperrider and Srivastva 1987) model and at the same time applied the model to my own pedagogy as an academic. Despite being instigated as a model for classroom teachers, I found through my own practitioner investigation that the model was useful for exploring my own pedagogy as a university academic (Hill, 2007, 2008). Cooperrider, D.L. and Srivastva, S. (1987) Appreciative inquiry in organisational life, in Passmore, W. and Woodman, R. (Eds) Research in Organisational Changes and Development (Vol 1) Greenwich, CT: JAI Press. Pp 129-69 Education Queensland (2001) School Reform Longitudinal Study (QSRLS), Brisbane, Queensland Government. Hill, G. (2002, December ) Reflecting on professional practice with a cracked mirror: Productive Pedagogy experiences. Australian Association for Research in Education Conference. Brisbane, Australia. Hill, G. (2007) Making the assessment criteria explicit through writing feedback: A pedagogical approach to developing academic writing. International Journal of Pedagogies and Learning 3(1), 59-66. Hill, G. (2008) Supervising Practice Based Research. Studies in Learning, Evaluation, Innovation and Development, 5(4), 78-87

Analysis of productive performance of crop production systems: an integrated analytical framework

Recent literature has argued that environmental efficiency (EE), which is built on the materials balance (MB) principle, is more suitable than other EE measures in situations where the law of mass conversation regulates production processes. In addition, the MB-based EE method is particularly useful in analysing possible trade-offs between cost and environmental performance. Identifying determinants of MB-based EE can provide useful information to decision makers but there are very few empirical investigations into this issue. This article proposes the use of data envelopment analysis and stochastic frontier analysis techniques to analyse variation in MB-based EE. Specifically, the article develops a stochastic nutrient frontier and nutrient inefficiency model to analyse determinants of MB-based EE. The empirical study applies both techniques to investigate MB-based EE of 96 rice farms in South Korea. The size of land, fertiliser consumption intensity, cost allocative efficiency, and the share of owned land out of total land are found to be correlated with MB-based EE. The results confirm the presence of a trade-off between MB-based EE and cost allocative efficiency and this finding, favouring policy interventions to help farms simultaneously achieve cost efficiency and MP-based EE.

The use of 'queer' in criminal justice discourses

Within criminological literature, there are growing references to a 'queer/ed criminology'. To date, ‘queer criminology’ remains a loose collection of studies and criminal-justice related commentary that uses the term 'queer'. Amid the growing calls for the more substantial development of these criminological studies, it is timely to reflect on the ways that the term ‘queer’ has been used in these discourses, to what ends, and with what effects. This paper considers the manner in which the term 'queer' has been used in these criminological and criminal justice discourses. It suggests that ‘queer’ has been used in two dominant ways: as an 'umbrella' term for lesbian, gay, bisexual, intersex, and queer-identified people; and to signify the use of theoretical tools with which to represent sexuality- and gender-diverse people more effectively within criminological research. The paper will argue that these ways of using ‘queer’ have a variety of implications and effects. Specifically, using ‘queer’ as an umbrella term has the potential to reinforce identity categories and the politics that surround identities (a critique that has often appeared in queer contexts), while using it as a theoretical tool potentially reproduces various investments in criminology and criminal justice institutions. Both uses may preclude other productive avenues for critique opened up by the term ‘queer’. The paper will conclude by suggesting that using ‘queer’ as a verb to signify a more deconstructive project directed towards criminology is a possible direction for these discussions. While this approach has its own effects, and articulates with existing deconstructive approaches in criminology, it is important to explore these possibilities at this point in the development of a ‘queer/ed criminology’ for two reasons: it highlights that multiple, and often competing, ‘queer/ed criminologies’ exist; and it expands the diverse possibilities heralded by the notion of ‘queer’.

Productive Knowledge of English Binomials by Japanese Learners of English

The purpose of this research is to reveal (1) which English binomials Japanese learners of English have productive knowledge of and (2) what strategies they use to produce English binomials when they do not know the binomials. One hundred and three Japanese learners of English with intermediate proficiency level completed an online survey of 44 binomials. The participants were given the first word of a binomial and asked to type a word following “and”. The target word was provided by more than 75% of participants for 19 of the 44 binomials, meaning that learners have productive knowledge for certain binomials. An analysis of errors suggested that the participants relied heavily on semantic relationships between items in binomials.However, the use of a semantic strategy for producing the second words often leads to non-binomial expressions. From these results we suggest that giving more input to learners, as well as teaching the “Me first” principle (Cooper & Ross, 1975) explicitly would help the learners to develop more accurate and effective strategies for uncertain or unfamiliar binomials.

Proved discoveries and productive capacity of crude oil, natural gas, and natural gas liquids in the United States; a report.

Mode of access: Internet.

Commentaries on the productive forces of Russia.

Mode of access: Internet.