Search results for "Correctness"
showing 10 items of 69 documents
Nuances of Human-Centredness in Information Systems Development
2005
Numerous methods, methodologies, approaches, techniques and tools have been developed over the years to ensure successful accomplishment of information system development (ISD) projects in terms of user satisfaction. However, different methodologies and approaches perceive the user differently; sometimes the user is seen as an anonymous 'object' that is going to use the system, or as an evaluator confirming the correctness of the design, or even as a critical contributor along the way to user-friendly information system. Each of these approaches has their own benefits from the ISD point of view but they lack a holistic view of the user. In this paper, we will review the trajectories of ISD …
Analysis and validation in design time of distributed control systems implemented by means of rule based expert systems
2005
In this paper a new analytical method for control systems validation is presented. The control system will be implemented by means of expert systems based on rule nets, which are a formalism that seeks to express an automatism in a similar way to as would make it a human being: "IF antecedents THEN consequent". But at the same time rule nets are a tool for the design, analysis and implementation of rule based systems (RBS), and consist on a mathematic-logical structure which analytically reflects the set of rules that the human expert has designed. The validation consist on the analysis of the decisive rule nets properties in design time. This properties have been studied and formalized com…
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.
Paulson's Nomological Normativity
2013
In some of his recent work Stanley Paulson puts forward a number of important and ambitious exegetical claims about Hans Kelsen’s Pure Theory of Law. Some of these claims are not novel in Paulson’s rich Kelsenian corpus. But, taken together, these claims now amount to the main outlines of a fully-fledged interpretation of the theoretical foundations of the Pure Theory of Law. Paulson holds that (1) contrary to what Joseph Raz, Carlos S. Nino and many others have claimed, there is, in the Pure Theory of Law, no “justified normativity” thesis. Kelsenian normativity is, rather, “nomological” normativity. (2) ‘Validity’ is not, in the Pure Theory of Law, a matter of the reasons norm-subjects ma…
Women in contemporary English drama translation: enhancement and downplay mechanisms to portray Golden Age damas
2011
In the last two decades British and American drama translators have shown a growing interest in the Spanish classics, resulting in English versions exclusively intended for the stage. Within this particular context, this paper is intended to provide a general view on how a motif present in the source texts, i.e. the role of women, is transferred into the target plays. A close analysis of the translated works reveals how women’s acts can be enhanced or downplayed in order to accommodate them to the recipient culture. Hence, political correctness, reaction to male domination, moral squeamishness and honour emerge as important elements to be taken into account. Conclusions will ultimately prov…
Aesthetic judgments of music in experts and laypersons--an ERP study.
2010
We investigated whether music experts and laypersons differ with regard to aesthetic evaluation of musical sequences 16 music experts and 16 music laypersons judged the aesthetic value (beauty judgment task) as well as the harmonic correctness (correctness judgment task) of chord sequences The sequences consisted of five chords with the final chord sounding congruous, ambiguous or incongruous relative to the harmonic context established by the preceding four chords On behavioural measures, few differences were observed between experts and laypersons However, several differences in event-related potential (ERP) parameters were observed in auditory, cognitive and aesthetic processing of chord…
An Island Strategy for Memetic Discrete Tomography Reconstruction
2014
In this paper we present a parallel island model memetic algorithm for binary discrete tomography reconstruction that uses only four projections without any further a priori information. The underlying combination strategy consists in separated populations of agents that evolve by means of different processes. Agents progress towards a possible solution by using genetic operators, switch and a particular compactness operator. A guided migration scheme is applied to select suitable migrants by considering both their own and their sub-population fitness. That is, from time to time, we allow some individuals to transfer to different subpopulations. The benefits of this paradigm were tested in …
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
Data Quality Model-based Testing of Information Systems: the Use-case of E-scooters
2020
The paper proposes a data quality model-based testing methodology aimed at improving testing methodology of information systems (IS) using previously proposed data quality model. The solution supposes creation of a description of the data to be processed by IS and the data quality requirements used for the development of the tests, followed by performing an automated test of the system on the generated tests verifying the correctness of data to be entered and stored in the database. The generation of tests for all possible data quality conditions creates a complete set of tests that verify the operation of the IS under all possible data quality conditions. The proposed solution is demonstra…
Genetic Normalized Convolution
2011
Normalized convolution techniques operate on very few samples of a given digital signal and add missing information, trough spatial interpolation. From a practical viewpoint, they make use of data really available and approximate the assumed values of the missing information. The quality of the final result is generally better than that obtained by traditional filling methods as, for example, bilinear or bicubic interpolations. Usually, the position of the samples is assumed to be random and due to transmission errors of the signal. Vice versa, we want to apply normalized convolution to compress data. In this case, we need to arrange a higher density of samples in proximity of zones which c…