Application of a support system to the design of wastewater treatment plants

This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). With this objective in mind a simplified but plausible WWTP design case study has been generated with KBDS, a computer-based support system that maintains a historical record of the design process. The study shows how, by employing such a historical record, it is possible to: (1) rank different design proposals responding to a design problem; (2) study the influence of changing the weight of the arguments used in the selection of the most adequate proposal; (3) take advantage of keywords to assist the designer in the search of specific items within the historical records; (4) evaluate automatically thecompliance of alternative design proposals with respect to the design objectives; (5) verify the validity of previous decisions after the modification of the current constraints or specifications; (6) re-use the design records when upgrading an existing WWTP or when designing similar facilities; (7) generate documentation of the decision making process; and (8) associate a variety of documents as annotations to any component in the design history. The paper also shows one possible future role of design support systems as they outgrow their current reactive role as repositories of historical information and start to proactively support the generation of new knowledge during the design process

Approximation and support theorem for a wave equation in two space dimensions

We prove a characterization of the support of the law of the solution for a stochastic wave equation with two-dimensional space variable, driven by a noise white in time and correlated in space. The result is a consequence of an approximation theorem, in the convergence of probability, for equations obtained by smoothing the random noise. For some particular classes of coefficients, approximation in the Lp-norm for p¿1 is also proved.

Guidelines for specialized nutritional and metabolic support in the critically-ill patient. Update. Consensus SEMICYUC-SENPE: Oncohematological patient

Patients with cancer, irrespective of the stage of their disease, can require admission to the intensive care unit as a result of the complications of their underlying process or the surgical or pharmacological treatment provided. The cancer itself, as well as the critical status that can result from the complications of the disease, frequently lead to a high degree of hypermetabolism and inadequate energy intake, causing a high incidence of malnutrition in these patients. Moreover, cancer causes anomalous use of nutritional substrates and therefore the route of administration and proportion and intake of nutrients may differ in these patients from those in noncancer patients.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

Power supply noise and logic error probability

Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.

Project SKY-EYE: applying UAVs to forest fire fighter support and monitoring

Peer reviewed

Assessing technology-based spin-offs from university support units

This paper takes a regional studies approach to assess spin-offs from a university-based technology transfer network. We first detect the regional objectives, inputs and outputs needed to assess spin-offs from support programmes. We then provide evidence on regional mechanisms for firm creation. We analyse spin-offs created at Catalan universities and find that many efficient spin-offs have formal technology transfer agreements, and emerge from technology-oriented universities. We also find that higher innovation levels and experience from the parent university are associated with higher efficiency, which is positively related to future fundamental profitability. Finally, we propose regional policy making and research directions.

Content value chains modelling using a copyright ontology

Existing digital rights management (DRM) systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains modelling and management. This is becoming a critical issue as content markets start to profit from the possibilities of digital networks and the World Wide Web. The objective is to support the whole copyrighted content value chain across enterprise or business niches boundaries. Our proposal provides a framework that accommodates copyright law and a rich creation model in order to cope with all the creation life cycle stages. The dynamic aspects of value chains are modelled using a hybrid approach that combines ontology-based and rule-based mechanisms. The ontology implementation is based on Web Ontology Language and Description Logic (OWL-DL) reasoners, are directly used for license checking. On the other hand, for more complex aspects of the dynamics of content value chains, rule languages are the choice.

Using a blog to create and support a Community of Inquiry in Secondary Education

Understanding how blogs can support collaborative learning is a vital concern for researchers and teachers. This paper explores how blogs may be used to support Secondary Education students’ collaborative interaction and how such an interaction process can promote the creation of a Community of Inquiry to enhance critical thinking and meaningful learning. We designed, implemented and evaluated a science case-based project in which fifteen secondary students participated. Students worked in the science blogging project during 4 months. We asked students to be collaboratively engaged in purposeful critical discourse and reflection in their blogs in order to solve collectively science challenges and construct meaning about topics related to Astronomy and Space Sciences. Through student comments posted in the blog, our findings showed that the blog environment afforded the construction of a Community of Inquiry and therefore the creation of an effective online collaborative learning community. In student blog comments, the three presences for collaborative learning took place: cognitive, social, and teaching presence. Moreover, our research found a positive correlation among the three presences –cognitive, social and teaching– of the Community of Inquiry model with the level of learning obtained by the students. We discuss a series of issues that instructors should consider when blogs are incorporated into teaching and learning. We claim that embedded scaffolds to help students to argue and reason their comments in the blog are required to foster blog-supported collaborative learning.

Breaking up the writing process: how wikis can support understanding the composition and revision strategies of young writers

Understanding how best to support immature writers in the development of their understanding of the writing process is an important concern for researchers and teachers. Social technologies have become key features of leisure and work place writing, yet knowledge about how to design educational settings that take full advantage of the affordances of web 2.0 technologies to support early writing is scarce. This paper presents a small scale study that investigated how writing in a wiki environment might facilitate and support students’ use of composition and revision strategies. Our findings show that wiki can enlarge young writers’ experience of the process of composition and revision both through their own efforts and by observing the process in others. In this study students employed a wide range of types of revisions both surface and text based changes. These revisions took place during the process of composition as well as at the end. It is argued here that writing in a wiki not only provides young writers with experience of a mode of composition prevalent in the contemporary work environment, but breaks up the process of writing in a way that may support students’ understanding of the processes of composition and revision.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Lack of support for the association between facial shape and aggression: a reappraisal based on a worldwide population genetics perspective

Antisocial and criminal behaviors are multifactorial traits whose interpretation relies on multiple disciplines. Since these interpretations may have social, moral and legal implications, a constant review of the evidence is necessary before any scientific claim is considered as truth. A recent study proposed that men with wider faces relative to facial height (fWHR) are more likely to develop unethical behaviour mediated by a psychological sense of power. This research was based on reports suggesting that sexual dimorphism and selection would be responsible for a correlation between fWHR and aggression. Here we show that 4,960 individuals from 94 modern human populations belonging to a vast array of genetic and cultural contexts do not display significant amounts of fWHR sexual dimorphism. Further analyses using populations with associated ethnographical records as well as samples of male prisoners of the Mexico City Federal Penitentiary condemned by crimes of variable level of inter-personal aggression (homicide, robbery, and minor faults) did not show significant evidence, suggesting that populations/individuals with higher levels of bellicosity, aggressive behaviour, or power-mediated behaviour display greater fWHR. Finally, a regression analysis of fWHR on individual"s fitness showed no significant correlation between this facial trait and reproductive success. Overall, our results suggest that facial attributes are poor predictors of aggressive behaviour, or at least, that sexual selection was weak enough to leave a signal on patterns of between- and within-sex and population facial variation.