Results 21 to 30 of about 91,248 (260)
Termination Analysis by Learning Terminating Programs [PDF]
, 2014 We present a novel approach to termination analysis. In a first step, the analysis uses a program as a black-box which exhibits only a finite set of sample traces. Each sample trace is infinite but can be represented by a finite lasso.
Heizmann, Matthias +2 more
core +1 more source
PrIC3: Property Directed Reachability for MDPs [PDF]
, 2020 IC3 has been a leap forward in symbolic model checking. This paper proposes PrIC3 (pronounced pricy-three), a conservative extension of IC3 to symbolic model checking of MDPs. Our main focus is to develop the theory underlying PrIC3.
A Chakarov +38 more
core +2 more sources
Transforming urban water governance through social (triple‐loop) learning [PDF]
Environmental Policy and Governance, 2019 AbstractThe sustainable development of cities is threatened by a worldwide water crisis. Improved social learning is urgently needed to transform urban water governance and make it more integrated and adaptive. However, empirical studies remain few and fragmented.
Åse Johannessen +6 more
openaire +1 more source
Facilitating dental student reflections : using mentor groups to discuss clinical experiences and personal development [PDF]
, 2016 Despite the consensus on the importance of reflection for dental professionals, a lack of understanding remains about how students and clinicians should develop their ability to reflect.
Christiaens, Véronique +3 more
core +2 more sources
Dancing with Ambiguity: Causality Behavior, Design Thinking, and Triple-Loop-Learning
Information Knowledge Systems Management, 2011 Over the past thirty years, a powerful methodology for innovation has emerged from engineering and design thinkers in Silicon Valley. It integrates human, business and technical factors in problem forming, solving and design: "Design Thinking." This human-centric methodology integrates expertise from design, social sciences, business and engineering ...
Larry J. Leifer, Martin Steinert
openaire +2 more sources
Green networks: Innovative capacity of SMEs in the Dutch greenhouse horticulture industry
Apstract: Applied Studies in Agribusiness and Commerce, 2012 The Dutch greenhouse horticulture industry is characterized by world leadership in high-tech innovation. The dynamics of this playing field are innovation in production systems and automation, reduction in energy consumption and sharing limited space ...
Henk J. Schout, Saskia J.M. Harkema
doaj +1 more source
Social-learning from Farmers’ Experience and Behavior: A Triple-loop Analysis on ClimateChange Awareness, Perceived Impacts, and Adaptation [PDF]
, 2022 Climate change tends to be addressed by accurate statistics and modelling, but it is generallyperceived abstractly, being considered a distant psychological risk in which impacts andeffects are spatially and temporally differentiated. In other words, people’s attitude towardsclimate change is that it will impact other individuals and communities that ...
Ricart, S. +2 more
openaire +3 more sources
Evaluation as Reflective Practice
Problemy Zarządzania, 2019 Reflective practice has become an influential concept in the evaluation field. A greater use of reflective practice is advocated in reference to both evaluators’ own professional development, and as a means to enhance dialogue, stakeholders ...
Paulina Kubera
doaj +1 more source
Journal of Learning for Development, 2020 : This paper analyses the mediation of heutagogical practices using mobile devices in a teacher training programme in Malawi. Existing literature suggests that the use of mobile devices facilitates the development of heutagogy, an educational ...
Andrew Chimpololo
doaj
Journal of Outdoor Recreation, Education, and Leadership, 2023 Higher education institutions identify and support practices that enhance student engagement and increase student success. In this article, we explored student learning facilitated through High Impact Practices (HIPs) (i.e., in-class undergraduate research, service learning, internships) integrated in the Sustainability & Conservation Leadership ...
Hill, Eddie +3 more
openaire +2 more sources