63,605 research outputs found

    Isabelle/PIDE as Platform for Educational Tools

    Full text link
    The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have so far been counter-balanced by somewhat inaccessible interaction via the TTY (or minor variations like the well-known Proof General / Emacs interface). Thus the fundamental question of math education tools with fully-formal background theories has often been answered negatively due to accidental weaknesses of existing proof engines. The idea of "PIDE" (which means "Prover IDE") is to integrate existing provers like Isabelle into a larger environment, that facilitates access by end-users and other tools. We use Scala to expose the proof engine in ML to the JVM world, where many user-interfaces, editor frameworks, and educational tools already exist. This shall ultimately lead to combined mathematical assistants, where the logical engine is in the background, without obstructing the view on applications of formal methods, formalized mathematics, and math education in particular.Comment: In Proceedings THedu'11, arXiv:1202.453

    Constants in Future Cities and Regions

    Get PDF
    The paper resumes some of the conversations the authors had in three years of research, based on the review of best participatory planning practices worldwide. The case projects are selected and discussed with the protagonists across four leading issues: Simulation, Scenario and Visioning, Government and Governance, and Scale. The case-oriented discussion is a peculiarity of the book , contributing to give shape to future cities or regions. The aim is to build a critical thinking on how urban planning, policy and design issues are faced differently or similarly throughout every cases studied. The book include the description of computer models and media, socio-political experiments and professional practices which help communicating the future effects of different design, policy and planning strategies and schemes with a wide range of aims: from information, through consultation, towards active participation. The cases have confirmed that simulation tools can impact on local government and can drive new forms of "glocal" governance, shaping and implementing future plans and projects at different scale and time span. The following paragraphs will point at some of the constant thoughts the authors had around the selection and editing of the book's case studied and related issue

    Deferred Action: Theoretical model of process architecture design for emergent business processes

    Get PDF
    E-Business modelling and ebusiness systems development assumes fixed company resources, structures, and business processes. Empirical and theoretical evidence suggests that company resources and structures are emergent rather than fixed. Planning business activity in emergent contexts requires flexible ebusiness models based on better management theories and models . This paper builds and proposes a theoretical model of ebusiness systems capable of catering for emergent factors that affect business processes. Drawing on development of theories of the ‘action and design’class the Theory of Deferred Action is invoked as the base theory for the theoretical model. A theoretical model of flexible process architecture is presented by identifying its core components and their relationships, and then illustrated with exemplar flexible process architectures capable of responding to emergent factors. Managerial implications of the model are considered and the model’s generic applicability is discussed

    Developing the scales on evaluation beliefs of student teachers

    Get PDF
    The purpose of the study reported in this paper was to investigate the validity and the reliability of a newly developed questionnaire named ‘Teacher Evaluation Beliefs’ (TEB). The framework for developing items was provided by the two models. The first model focuses on Student-Centered and Teacher-Centered beliefs about evaluation while the other centers on five dimensions (what/ who/ when/ why/ how). The validity and reliability of the new instrument was investigated using both exploratory and confirmatory factor analysis study (n=446). Overall results indicate that the two-factor structure is more reasonable than the five-factor one. Further research needs additional items about the latent dimensions “what” ”who” ”when” ”why” “how” for each existing factor based on Student-centered and Teacher-centered approaches

    Latin American perspectives to internationalize undergraduate information technology education

    Get PDF
    The computing education community expects modern curricular guidelines for information technology (IT) undergraduate degree programs by 2017. The authors of this work focus on eliciting and analyzing Latin American academic and industry perspectives on IT undergraduate education. The objective is to ensure that the IT curricular framework in the IT2017 report articulates the relationship between academic preparation and the work environment of IT graduates in light of current technological and educational trends in Latin America and elsewhere. Activities focus on soliciting and analyzing survey data collected from institutions and consortia in IT education and IT professional and educational societies in Latin America; these activities also include garnering the expertise of the authors. Findings show that IT degree programs are making progress in bridging the academic-industry gap, but more work remains

    Integrative research in the university context: Centre for Resource and Environmental Studies, the Australian National University

    Get PDF
    At a time of increasing interest and advocacy in integrated and policy-oriented research, this paper offers an empirically-based view of the intellectual and practical challenges of undertaking such research. It analyses the experience of a long-standing university research and postgraduate training centre from 1973-2004: the Centre for Resource and Environmental Studies at The Australian National University. The paper discusses staff development issues, cross-disciplinary understanding, organisational requirements for collaborative research, postgraduate and early career considerations, a range of integrative frameworks, and the tensions that arise for interdisciplinary research in the political and economic operating environments of modern universities
    • 

    corecore