Results 21 to 30 of about 459,480 (145)
Sustainable, Extensible Documentation Generation Using inlinedocs
Journal of Statistical Software, 2013 This article presents inlinedocs, an R package for generating documentation from comments. The concept of structured, interwoven code and documentation has existed for many years, but existing systems that implement this for the R programming language do
Toby Dylan Hocking +3 more
doaj +1 more source
Automated Generation of User Guidance by Combining Computation and Deduction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Herewith, a fairly old concept is published for the first time and named "Lucas Interpretation". This has been implemented in a prototype, which has been proved useful in educational practice and has gained academic relevance with an emerging generation ...
Walther Neuper
doaj +1 more source
eLife, 2022 The lateral prefrontal cortex (LPFC) of humans enables flexible goal-directed behavior. However, its functional organization remains actively debated after decades of research.
Majd Abdallah +3 more
doaj +1 more source
Towards a Tool-based Development Methodology for Pervasive Computing Applications [PDF]
, 2012 Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed ...
Balland, Emilie +3 more
core +4 more sources
Energies, 2022 This paper deals with the optimal sizing of islanded microgrids (MGs), which use diesel generators to supply energy in off-grid areas. The MG under study integrates photovoltaic (PV) and diesel generation, a battery energy storage System (BESS), and an ...
Wilmer Ropero-Castaño +4 more
doaj +1 more source
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo [PDF]
, 2005 This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the ...
Bry, François, Manthey, Rainer
core +1 more source
Energy Reports, 2022 With the gradual expansion of the development scale of wind power and photovoltaic (PV) power plants, the multi-energy complementary power generation system, typically represented by hydro-PV/hydro-wind/hydro-wind-PV, has become an important part of ...
Jidong Li +5 more
doaj +1 more source
Critters in the Classroom: A 3D Computer-Game-Like Tool for Teaching Programming to Computer Animation Students [PDF]
, 2007 The brewing crisis threatening computer science education is a well documented fact. To counter this and to increase enrolment and retention in computer science related degrees, it has been suggested to make programming "more fun" and to offer ...
Anderson, Eike F., McLoughlin, L.
core +1 more source
Automatic Evaluation of Programming Tasks Supported by Language Models
IEEE AccessLarge language models are also increasingly used in education, both by students and teachers. Newly introduced LLM-based tools, such as Codex, Code Llama, and Microsoft’s Copilot, show that LLMs are effective in code generation.
Zoltan Istvan Karsa, Balazs Goldschmidt
doaj +1 more source
Towards Intelligent Databases [PDF]
, 1993 This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy.
C. Sakama +6 more
core +1 more source