305,357 research outputs found
Cognitive Aspects of Conceptual Modelling: Exploring Abstract Reasoning and Executive Control in Modelling Practice
Full text linkContains fulltext :
222397.pdf (Publisher’s version ) (Open Access)Radboud University, 08 oktober 2020Promotores : Barendsen, E., Proper, H.A. Co-promotor : Hoppenbrouwers, S.J.B.A.viii, 357 p
Strictness Analysis via Resource Typing
Full text linkContains fulltext :
36506.pdf (Author’s version preprint ) (Open Access
Learning from Mistakes: Analyzing Students’ Development in Program Comprehension and Program Composition
No full textContains fulltext :
321286.pdf (Publisher’s version ) (Open Access)Programming is an essential skill in the digital age, but learning it proves to be complex in practice. Many secondary school students experience difficulties in both understanding and writing code. This thesis investigates how these learning processes can be better supported, with a particular focus on students with average or lower performance. Four empirical studies examined the mistakes students make, their underlying causes, and how this information can be used to better assess their level of development. Among other things, a rubric was developed to assess reading comprehension, and research was conducted into how visual aids such as flowcharts contribute to problem-solving skills. The research provides practical tools for teachers to map pupils' progress in detail, give effective feedback and tailor teaching to the specific needs of the pupil. This thesis thus contributes to the development of formative assessment tools and didactic strategies for programming education in secondary education.Radboud University, 08 september 2025Promotor : Barendsen, E. Co-promotor : Smetsers, J.E.W.228 p
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Some logical and syntactical observations concerning the the first-order dependent type system lambda-P
No full textWe look at two different ways of interpreting logic in the dependent type system ¿P. The first is by a direct formulas-as-types interpretation à la Howard where the logical derivation rules are mapped to derivation rules in the type system. The second is by viewing ¿P as a Logical Framework, following Harper et al. (1987) and Harper et al. (1993). The type system is then used as the meta-language in which various logics can be coded. We give a (brief) overview of known (syntactical) results about ¿P. Then we discuss two issues in some more detail. The first is the completeness of the formulas-as-types embedding of minimal first-order predicate logic into ¿P. This is a remarkably complicated issue, a first proof of which appeared in Geuvers (1993), following ideas in Barendsen and Geuvers (1989) and Swaen (1989). The second issue is the minimality of ¿P as a logical framework. We will show that some of the rules are actually superfluous (even though they contribute nicely to the generality of the presentation of ¿P). At the same time we will attempt to provide a gentle introduction to ¿P and its various aspects and we will try to use little inside knowledge
Dispelling the Myths Behind First-author Citation Counts
Full text linkWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
Author, publisher and bookseller : a tripartite synergy in Nigerian book industry
Full text linkThis work is about the roles of Author, Publisher and Bookseller in Book development in
Nigeria. The paper started by delving into the history of Book Publishing in Nigeria after
which it proceeded by defining who an author, a publisher, and a bookseller is and
expatiated on the indispensable roles of these key actors in Nigerian Book Industry and in
the emerging Information Society. Furthermore, the various constraints to book
development were identified while the paper advised on how the Book Industry can be
further promoted in Nigeria. However, the paper concluded and made recommendations
on how the Book sector can help in enhancing scholarship in the country
[Report to Chief J. E. Curry, by an unknown author #2]
No full textReport to Chief J. E. Curry, by an unknown author. The report contains a list of officers who gave depositions to the United States Attorney
- …
