Search results for "computer program"
showing 10 items of 807 documents
Pellet: A Practical OWL-DL Reasoner
2007
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.
On the integration of kinetic models using a high-order taylor series method
1992
A general equation to derive kinetic models up to any order is given. This equation greatly facilitates the application of the Taylor series method to the integration of kinetic models up to very high orders. When dealing with non-stiff models, computing time is always reduced by increasing the integration order, at least up to the 20th order. When the model is stiff, the integration order should be optimized; however, a twelfth order is recommended to integrate weakly stiff models. The use of an algorithm which permits the immediate calculation of the integration step size required to maintain a given accuracy leads to further reductions in computing time. When implemented as recommended h…
Reflecting on the Tensions of Research Utilization: Understanding the Coupling of Academic and User Knowledge
2018
This paper addresses debate of how research is utilized that questions measuring ‘acts of use’ of research (patents, spin-offs, or license income). A science system is a progressive business where research builds upon diverse existing research and knowledge. The extent of research utilization is determined by the extent to which prior research can feed into research that ultimately leads to acts of use. We use the term ‘knowledge transformers’ to refer to research users that transform academic knowledge into the socio-economic domain, and define ‘usability’ of prior research as the ease with which it may contribute to research that knowledge transformers are able to absorb. We argue that to…
Research-in-progress
2012
In this paper, we present a research-in-progress study where we are revisiting a well known knowledge-level framework of understanding (i.e. knowledge) of a system proposed by Olfman et al. (2006). The catalyst for this relook was the anomalies and incongruencies that surfaced when we tried to apply this framework in another study whose aim was to examine how hermeneutic reflection helps in learning. While the framework proved a useful vehicle to carry out hermeneutic analysis, it also proved inadequate in accounting for some significant aspects of what constitutes understanding of a system. A closer look at the data revealed that other theoretical premises could not only provide a better i…
Digitalizing Management Accounting
2019
“Digitalization” is a term that is widely used to describe various technology-induced organizational change processes. These range from those that increase efficiency through the use of technology (e. g., digitalizing paper-based workflows, e.g. invoicing) to disruptive changes to existing business models by employing new technological possibilities (e. g., platforms such as Airbnb or Uber).
Towards a Blended Learning Model for Teaching and Learning Computer Programming: A Case Study
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-face learning with information technologies cannot provide effective teaching and efficient solutions for learning. To be successful, blended learning must rely on solid learning theory and pedagogical strategies. In addition, there is a need for a design-based research approach to explore blending learning through successive cycles of experimentations, where the shortcomings of each cycle are identified, redesigned, and reevaluated. This paper reports on a study conducted on a blended learn- ing model in Java pro…
PARSI
2012
A usual target of automatic assessment in CS education has been a computer program or some other software engineering product. In this paper, we describe the 'PARSI' tool that is used for the automatic assessment of stylistic and technical correctness of office documents and some basic IT skills such as email netiquette and email lists usage. The PARSI tool enables us to run a highly populated course with only one teacher, and investigate how we could make such a course a flexible learning experience where learners take an active role.
Indirect Sexism in John Grisham’s Sycamore Row (2013): Unveiling Sexual Inequality Through a Gender-Committed Pedagogy in the Translation Classroom
2019
In the ongoing fight for sexual equality, discourse and translation are key mechanisms, that deserve careful scrutiny. This chapter describes a teaching experience within my Legal Translation (English–Spanish) module at the University of Valencia. Students were required to translate some passages from Sycamore Row (2013), a best-selling legal thriller by John Grisham. In class, we analyzed and discussed these passages and compared them with the students’ translations as well as with the 2014commercial Spanish version, entitled La herencia. Sexist and/or patronizing comments are common in this book, disguised under the veil of irony or humour. Thus, John Grisham manages—through humour and ir…
Pointer years in tree-ring width and earlywood-vessel area time series of Quercus robur—Relation with climate factors near its northern distribution …
2013
Abstract For a long time, radial growth of pedunculate oak (Quercus robur) in relation to environmental factors has been studied in Central Europe. However, there is insufficient information on oak growth in the Baltic region. Climate–growth interactions have been mostly investigated by correlation/response analysis between ring width and climatic factors. Other wood anatomical proxies, and also pointer year analysis, which focuses on weather extremes, can be sources of additional information. Wood samples were taken from 40 sites across Latvia. Tree-ring width (TRW) and mean area of earlywood vessels (EVA) were measured. To assess differences in wood formation among sites, a PCA was perfor…
From noticing to initiating correction: Students’ epistemic displays in instructional interaction
2014
Abstract By drawing on conversation analysis and the analysis of embodiment-in-interaction, this article describes students’ locally situated, interactional practices of demonstrating knowledge in teacher-led instructional interaction in the English lessons of a Content-and-Language-Integrated-Learning (CLIL) class. It focuses on students’ correction initiations that are preceded by embodied noticings – interactional events that are performed through different kinds of visibly intensified embodied and material practices. The analysis demonstrates how the embodied noticings serve as a preamble to the ensuing correction initiation and help project participant's stance toward the noticed featu…