Search results for "ECTN"
showing 10 items of 76 documents
PGAC: A Parallel Genetic Algorithm for Data Clustering
2005
Cluster analysis is a valuable tool for exploratory pattern analysis, especially when very little a priori knowledge about the data is available. Distributed systems, based on high speed intranet connections, provide new tools in order to design new and faster clustering algorithms. Here, a parallel genetic algorithm for clustering called PGAC is described. The used strategy of parallelization is the island model paradigm where different populations of chromosomes (called demes) evolve locally to each processor and from time to time some individuals are moved from one deme to another. Experiments have been performed for testing the benefits of the parallelisation paradigm in terms of comput…
Adaptation of elaborated feedback in e-learning
2008
Design of feedback is a critical issue of online assessment development within Web-based Learning Systems (WBLSs). In our work we demonstrate the possibilities of tailoring the feedback to the students’ learning style (LS), certitude in response and its correctness. We observe in the experimental studies that these factors have a significant influence on the feedback preferences of students and the effectiveness of elaborated feedback (EF), i.e. students’ performance improvement during the test. These observations helped us to develop a simple EF recommendation approach. Our experimental study shows that (1) many students are eager to follow the recommendations on necessity to read certain …
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…