Results 81 to 90 of about 457,330 (266)
Language design for a personal learning environment design language [PDF]
, 2008 Approaching technology-enhanced learning from the perspective of a learner, we foster the idea of learning environment design, learner interactions, and tool interoperability.
Mödritscher, Felix +2 more
core +3 more sources
Paraiso : An Automated Tuning Framework for Explicit Solvers of Partial Differential Equations
, 2012 We propose Paraiso, a domain specific language embedded in functional programming language Haskell, for automated tuning of explicit solvers of partial differential equations (PDEs) on GPUs as well as multicore CPUs.
Muranushi, Takayuki
core +1 more source
An Abstract Programming System [PDF]
arXiv, 2003 The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axioms may be the target of such a translation. The system PL also permits the construction and proof of correctness of programs in an abstract programming language, and permits ...
arxiv
Advanced Energy and Sustainability Research, EarlyView.This study aims to provide actionable recommendations for leveraging digital innovation for the achievement of scalable, equitable, and transparent Net Zero Energy Transition by offering actionable recommendations. As a result of this comprehensive analysis, the review highlights the critical interplay between digital technologies and GF as vital ...
Furkan Ahmad +3 more
wiley +1 more source
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
, 2006 State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc.
C. Vaucheret +9 more
core +1 more source
Agribusiness, EarlyView.ABSTRACT Social tensions and resource depletion pose significant challenges to the agri‐food sector, highlighting the need for coordinated strategies to ensure sustainability in supply chains. Despite its critical importance, the relationship between coordination mechanisms and sustainability performance remains underexplored.
Carlos Moreno‐Miranda, Liesbeth Dries
wiley +1 more source
British Educational Research Journal, EarlyView., 2023 Abstract Children's relationship with time in preschools is an under‐researched area. Young children rarely know how to measure time using a clock, but their experiences of time may contribute to understanding children's well‐being and debates about quality in preschools.
Kristín Dýrfjörð +3 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT Contract farming is a viable strategy agribusinesses rely on to strengthen coordination across actors in the value chain. However, low contract compliance remains a significant setback to agribusinesses' contract performance in low‐ and middle‐income country context.
Umar Shehu Umar +2 more
wiley +1 more source
A Framework for Evaluating Model-Driven Self-adaptive Software Systems [PDF]
, 2019 In the last few years, Model Driven Development (MDD), Component-based Software Development (CBSD), and context-oriented software have become interesting alternatives for the design and construction of self-adaptive software systems.
Magableh, Basel
core +2 more sources
Region-based memory management for Mercury programs
, 2012 Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point
Janssens, Gerda +2 more
core +1 more source