128 resultados para answer set programming


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML-based meta language (intermediate level) or ANSI C language (advanced level). The environment supports programme translation transparently into different languages for learners or explicitly on learners’ demand. Learners can access proposed challenges and learning interfaces by examples. The environment was designed to allow characteristics such as extensibility, adaptive interfaces, persistence and low software/hardware coupling. Functionality tests were performed to prove programming environment specifications. UV BOT mobile robots were used in these tests

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Optimization methods allow designing changes in a system so that specific goals are attained. These techniques are fundamental for metabolic engineering. However, they are not directly applicable for investigating the evolution of metabolic adaptation to environmental changes. Although biological systems have evolved by natural selection and result in well-adapted systems, we can hardly expect that actual metabolic processes are at the theoretical optimum that could result from an optimization analysis. More likely, natural systems are to be found in a feasible region compatible with global physiological requirements. Results: We first present a new method for globally optimizing nonlinear models of metabolic pathways that are based on the Generalized Mass Action (GMA) representation. The optimization task is posed as a nonconvex nonlinear programming (NLP) problem that is solved by an outer- approximation algorithm. This method relies on solving iteratively reduced NLP slave subproblems and mixed-integer linear programming (MILP) master problems that provide valid upper and lower bounds, respectively, on the global solution to the original NLP. The capabilities of this method are illustrated through its application to the anaerobic fermentation pathway in Saccharomyces cerevisiae. We next introduce a method to identify the feasibility parametric regions that allow a system to meet a set of physiological constraints that can be represented in mathematical terms through algebraic equations. This technique is based on applying the outer-approximation based algorithm iteratively over a reduced search space in order to identify regions that contain feasible solutions to the problem and discard others in which no feasible solution exists. As an example, we characterize the feasible enzyme activity changes that are compatible with an appropriate adaptive response of yeast Saccharomyces cerevisiae to heat shock Conclusion: Our results show the utility of the suggested approach for investigating the evolution of adaptive responses to environmental changes. The proposed method can be used in other important applications such as the evaluation of parameter changes that are compatible with health and disease states.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Una eficaz acción educativa obliga necesariamente a plantearse en profundidad la autoevaluación como modelo de cambio y la participación de todos los estamentos de la comunidad educativa. Un mayor o menor grado de participación viene a ser un indicador que nos permite valorar cualquier propuesta de «calidad», «reforma» o «innovación». El modelo B.A.D.I. yen especial su instrumento modular, responde a las exigencias particulares de reflexión, análisis y toma de decisiones que se realiza en cada centro para responder adecuadamente a cualquier planteamiento innovador. Los principios fundamentales de este modelo se resumen en: A. Es un modelo de concepción organicista, estamental, con definición ideológica. B. Responde a un enfoque fundamentalmente rogeriano. C. Participa de los enfoques social, abierto, dinámico, cultural y positivo. Comparte la teoría moderna de la organización y sus indicadores se agrupan en cuatro fases: Criterial, presupuestaria, metodológica e informativa. D. Se identifica con los modelos centrados en la evaluación de cambio, de forma especial con la autoevaluación. La flexibilidad que caracteriza al modelo viene dado por el instrumento modular de área o de criterio, como resultado de la participación y el consenso de todos los estamentos de la institución educativa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the present research we have set forth a new, simple, Trade-Off model that would allow us to calculate how much debt and, by default, how much equity a company should have, using easily available information and calculating the cost of debt dynamically on the basis of the effect that the capital structure of the company has on the risk of bankruptcy; in an attempt to answer this question. The proposed model has been applied to the companies that make up the Dow Jones Industrial Average (DJIA) in 2007. We have used consolidated financial data from 1996 to 2006, published by Bloomberg. We have used simplex optimization method to find the debt level that maximizes firm value. Then, we compare the estimated debt with real debt of companies using statistical nonparametric Mann-Whitney. The results indicate that 63% of companies do not show a statistically significant difference between the real and the estimated debt.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper aims to explore asynchronous communication in computer supported collaborative learning (CSCL). Thirty virtual forums are analysed in both a quantitative and a qualitative way. Quantitatively, the number of messages written, message threads and original and answer messages are counted. Qualitatively, the content of the notes is analysed, cataloguing these into two different levels: on the one hand, as a set of knowledge building process categories, and on the other hand, following the scaffolds that Knowledge Forum offers. The results show that both an exchange of information and a collaborative work take place. Nevertheless, the construction of knowledge is superficial.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduction. Genetic epidemiology is focused on the study of the genetic causes that determine health and diseases in populations. To achieve this goal a common strategy is to explore differences in genetic variability between diseased and nondiseased individuals. Usual markers of genetic variability are single nucleotide polymorphisms (SNPs) which are changes in just one base in the genome. The usual statistical approach in genetic epidemiology study is a marginal analysis, where each SNP is analyzed separately for association with the phenotype. Motivation. It has been observed, that for common diseases the single-SNP analysis is not very powerful for detecting genetic causing variants. In this work, we consider Gene Set Analysis (GSA) as an alternative to standard marginal association approaches. GSA aims to assess the overall association of a set of genetic variants with a phenotype and has the potential to detect subtle effects of variants in a gene or a pathway that might be missed when assessed individually. Objective. We present a new optimized implementation of a pair of gene set analysis methodologies for analyze the individual evidence of SNPs in biological pathways. We perform a simulation study for exploring the power of the proposed methodologies in a set of scenarios with different number of causal SNPs under different effect sizes. In addition, we compare the results with the usual single-SNP analysis method. Moreover, we show the advantage of using the proposed gene set approaches in the context of an Alzheimer disease case-control study where we explore the Reelin signal pathway.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Short-term synaptic depression (STD) is a form of synaptic plasticity that has a large impact on network computations. Experimental results suggest that STD is modulated by cortical activity, decreasing with activity in the network and increasing during silent states. Here, we explored different activity-modulation protocols in a biophysical network model for which the model displayed less STD when the network was active than when it was silent, in agreement with experimental results. Furthermore, we studied how trains of synaptic potentials had lesser decay during periods of activity (UP states) than during silent periods (DOWN states), providing new experimental predictions. We next tackled the inverse question of what is the impact of modifying STD parameters on the emergent activity of the network, a question difficult to answer experimentally. We found that synaptic depression of cortical connections had a critical role to determine the regime of rhythmic cortical activity. While low STD resulted in an emergent rhythmic activity with short UP states and long DOWN states, increasing STD resulted in longer and more frequent UP states interleaved with short silent periods. A still higher synaptic depression set the network into a non-oscillatory firing regime where DOWN states no longer occurred. The speed of propagation of UP states along the network was not found to be modulated by STD during the oscillatory regime; it remained relatively stable over a range of values of STD. Overall, we found that the mutual interactions between synaptic depression and ongoing network activity are critical to determine the mechanisms that modulate cortical emergent patterns.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L’Escola Politècnica Superior de la Universitat de Vic disposa d’una cèl·lula de fabricació flexible del fabricant Festo, que simula un procés d’emmagatzematge automàtic, aquesta cèl·lula esta composta per quatre estacions de muntatge diferenciades i independents, l’estació palets, l’estació plaques, l’estació magatzem intermedi i l’estació transport. Cada una d’aquestes estacions està formada per sensors i actuadors elèctrics i pneumàtics del fabricant Festo que van connectats a un PLC SIEMENS S7-300.Els quatre PLC’s (un per cada estació) estan connectats entre ells mitjançant el bus de comunicacions industrials Profibus. L’objectiu d’aquest treball consisteix en l’adaptació de la programació dels PLC’s i la realització d’un SCADA per tal de controlar el funcionament del conjunt de la cèl·lula de fabricació a través del software Vijeo Citect, d’aquesta manera es coneixerà el funcionament de la cèl·lula i permetrà treure’n rendiment per la docència. Aquest projecte ha estat realitzat en quatre fases principals. 1. Estudi i coneixement de les estacions, en aquesta fase s’han estudiat els manuals de funcionament de les estacions i s’han interpretat els codis de programació dels seus PLCs, amb l’objectiu de conèixer bé el programa per tal de interaccionar-hi més endavant amb el sistema SCADA 2. Disseny i programació del sistema SCADA, en aquesta fase s’ha realitzat tot el disseny gràfic de les pantalles de la interfície SCADA així com la programació dels objectes, la connexió amb els PLCs i la base de dades. 3. Posada en marxa del sistema complert, quan es coneixia abastament el funcionament de les estacions i el sistema SCADA estava completat s’ha fet la posada en marxa del conjunt i s’ha comprovat el correcte funcionament i interacció dels sistemes. 4. Realització de la memòria del projecte, en aquesta ultima fase s’ha realitzat la memòria del projecte on s’expliquen les característiques i funcionament de totes les estacions i del sistema SCADA. La conclusió més rellevant obtinguda en aquest treball, és la clara visualització de la potència i simplicitat que han aportat els sistemes SCADA al món de l’automatització, anys enrere per la supervisió de l’estat d’un sistema automatitzat era necessari disposar d’un gran espai amb grans panells de control formats per una gran quantitat de pilots lluminosos, potenciòmetres, interruptors, polsadors, displays i sobretot un voluminós i complexa cablejat, gràcies als sistemes SCADA avui en dia tot això pot quedar reduït a un PC o terminal tàctil, amb pantalles gràfiques clares i una gran quantitat d’opcions de supervisió control i configuració del sistema automatitzat.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El present treball és un estudi sobre l'estigma social en la malaltia mental i la representació d'aquest al cinema. Aquesta anàlisi s'ha portat a terme a partir de dues línies de treball. Per una banda amb l'anàlisi interpretativa de dotze pel·lícules utilitzant els indicadors de 'perillositat'; 'incapacitat per a la vida'; 'incurabilitat'; 'pèrdua de rols socials'; 'por al rebuig i/o por a les relacions socials'; i per l'altra banda a partir d'un grup de discussió, en el qual s'han visionat fragments de cinc pel·lícules amb set estudiants del Grau d'Educació Social de la Universitat de Vic. Dels resultats obtinguts es desprèn que la pel·lícula és un mitjà de comunicació mitjançant el qual els estereotips són usats en favor de l'espectacle, estigmatitzant així les persones diagnosticades de malaltia mental. Aquest és un dels motius que fan valorar el cinema com un recurs educatiu a considerar tant en la formació d'educadors i educadores socials com en els projectes d'intervenció socioeducativa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Virtual Laboratories are an indispensablespace for developing practical activities in a Virtual Environment. In the field of Computer and Software Engineering different types of practical activities have tobe performed in order to obtain basic competences which are impossible to achieve by other means. This paper specifies an ontology for a general virtual laboratory.The proposed ontology provides a mechanism to select the best resources needed in a Virtual Laboratory once a specific practical activity has been defined and the maincompetences that students have to achieve in the learning process have been fixed. Furthermore, the proposed ontology can be used to develop an automatic and wizardtool that creates a Moodle Classroom using the practical activity specification and the related competences.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The intervention in the organized conflicts and, particularly, the confrontation of hostile situations (based on the emotional alteration, the strain, the verbal aggressiveness, etc) is one of the aspects that worry the principals of the educative centres and, therefore, a main attention must be given to the initial and permanent training to have managing duties. Throughout the text we take some aspects into account in the development of these managing skills:a) we set the distinctive features; b) we answer to the dilemma about the existence of improvement possibilities; c) we state the need to star from the motivation and the active participation of the principals in their own personal development and, finally, d) we contribute with the design of a training activity to develop skills to confront hostile situations, addressed to the principals of primary and secondary schools, that was done in Girona, in November 2005