Results 81 to 90 of about 19,566 (235)
Teaching Software Engineering through Robotics [PDF]
This paper presents a newly-developed robotics programming course and reports the initial results of software engineering education in robotics context. Robotics programming, as a multidisciplinary course, puts equal emphasis on software engineering and ...
Meyer, Bertrand +2 more
core
Interactive Groupwise Comparison for Reinforcement Learning from Human Feedback
The standard RLHF uses pairwise comparisons and therefore requires a large number of comparisons leading to a high workload. The comparison pairs are suggested by the system and cannot be chosen by the user. Our RLHF approach provides more agency to the user and demands less work: we leverage the user's visual abilities to effectively explore the ...
Jan Kompatscher +4 more
wiley +1 more source
A Prospectus on Generative Artificial Intelligence in Marine Ecosystem Modelling
ABSTRACT Marine ecosystem modelling faces increasing demands for rapid development and deployment to address urgent environmental challenges, yet technical complexity and time‐intensive processes often constrain timely insights for management decisions.
Scott Spillias
wiley +1 more source
ABSTRACT Demographic development and hiring and retirement policies in higher education institutions (HEIs) have promoted the coexistence of different generations in university departments. Intergenerational learning (IGL) processes in the workplace are crucial for improving both individual and institutional well‐being and performance.
Sheila García‐Martín +3 more
wiley +1 more source
Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis
Program comprehension and reverse engineering are two large domains of computer science that have one common goal – analysis of existing programs and understanding their behaviour. In present, methods of source code analysis are well established and used
Dušan Kolář, Jakub Křoustek
doaj
GDBMiner: Mining Precise Input Grammars on (Almost) Any System [PDF]
If one knows the input language of the system to be tested, one can generate inputs in a very efficient manner. Grammar-based fuzzers, for instance, produce inputs that are syntactically valid by construction.
Eisele, Max +3 more
doaj +1 more source
Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo) [PDF]
The Hindley-Milner type system is a foundation for most statically typed functional programming languages, such as ML, OCaml and Haskell. This type system has many advantageous, but it does make type debugging hard: If a program is not well-typed, it ...
Chitil, Olaf, Tsushima, Kanae
core
A unified formulation for home healthcare routing and scheduling problems
Abstract Home Healthcare is an essential component of healthcare systems, where caregivers visit patients' homes to deliver services. While presenting advantages with respect to institutional care, such as being cost‐effective and alleviating family burdens, it presents challenges in scheduling and routing caregivers efficiently.
Sara Ceschia +7 more
wiley +1 more source
ABSTRACT Insect‐derived molecular cues can prime plant defences against herbivore attack. The genes that are sensitive to priming, and how their expression changes on the scale of days, have not been fully resolved. Moreover, priming may affect interactions with insects that are not the source of the priming cue.
Robert J. Witkowski +4 more
wiley +1 more source
Adding traceability to an educational IDE : a thesis presented in partial fulfilment of the requirements for the Master degree in Computer Science at Massey University, Manawatu, New Zealand [PDF]
High dropout and failure rate in introductory programming courses indicate the need to improve programming comprehension of novice learners. Some of educational tools have successfully used game environments to motivate students. Our approach is based
Sui, Li
core

