SARRIGUREN: a polynomial-time complete algorithm for random kk-SAT with relatively dense clauses

SARRIGUREN, a new complete algorithm for SAT based on counting clauses (which is valid also for Unique-SAT and #SAT) is described, analyzed and tested. Although existing complete algorithms for SAT perform slower with clauses with many literals, that is an advantage for SARRIGUREN, because the more literals are in the clauses the bigger is the probability of overlapping among clauses, a property that makes the clause counting process more efficient. Actually, it provides a $O(m^2 \times n/k)$ time complexity for random $k$-SAT instances of $n$ variables and $m$ relatively dense clauses, where that density level is relative to the number of variables $n$, that is, clauses are relatively dense when $k\geq7\sqrt{n}$. Although theoretically there could be worst-cases with exponential complexity, the probability of those cases to happen in random $k$-SAT with relatively dense clauses is practically zero. The algorithm has been empirically tested and that polynomial time complexity maintains also for $k$-SAT instances with less dense clauses ($k\geq5\sqrt{n}$). That density could, for example, be of only 0.049 working with $n=20000$ variables and $k=989$ literals. In addition, they are presented two more complementary algorithms that provide the solutions to $k$-SAT instances and valuable information about number of solutions for each literal. Although this algorithm does not solve the NP=P problem (it is not a polynomial algorithm for 3-SAT), it broads the knowledge about that subject, because $k$-SAT with $k>3$ and dense clauses is not harder than 3-SAT. Moreover, the Python implementation of the algorithms, and all the input datasets and obtained results in the experiments are made available.Comment: 23 pages, 2 figures, 8 tables, algorithms, results and data in http://bdi.si.ehu.es/bdi/sarrigure

The structure of the Social Self-Concept (SSC) Questionnaire

This study aims to analyze the factorial structure of the newly-created Coestionario de Autoconcepto Social - AUSO (from here on the Social Self-concept Questionnaire, or AUSO), which consists of two scales measuring social responsibility and social competence. The theoretical proposal which posits that social self-concept is the result of the combination of two basic self-perceptions: competence in social relations and response to the demands of social functioning, is based on a review of human social development theories and previous attempts to measure social self-concept. Participants were 818 students aged between 17 and 52. The results obtained though confirmatory factor analyses support the hypothesis of a structure made up of two correlated factors. In addition to providing a new measurement instrument with appropriate psychometric characteristics and valid criteria that justify its use in both applied:practice and research, this study also enhances our understanding of the internal nature of the social domain of self-concept.This study was conducted within the framework of the EDU2009-10102 project, subsidized by the MICINN (Spain), with the help of grants aimed at supporting the activities of research groups within the Basque university system (Basque Official Gazette 27-VII-2012 Application IT701-13)

Towards a satisfactory conversion of messages among agent-based information systems

Over the last years, there has been a change of perspective concerning the management of information systems, since they are no longer isolated and need to communicate with others. However, from a semantic point of view, real communication is difficult to achieve due to the heterogeneity of the systems. We present a proposal which, considering information systems are represented by software agents, provides a framework that favors a semantic communication among them, overcoming the heterogeneity of their agent communication languages. The main components of the framework are a suite of ontologies – conceptualizing communication acts – that will be used for generating the communication conversion, and an Event Calculus interpretation of the communications, which will be used for formalizing the notion of a satisfactory conversion. Moreover, we present a motivating example in order to complete the explanation of the whole picture.The work of Idoia Berges was supported by a grant of the Basque Government (Programa de Formación de Investigadores del Departamento de Educación, Universidades e Investigación). This work is also supported the Spanish Ministry of Education and Science TIN2010–21387-C02–01

Semantic Web Technology for Agent Communication Protocols.

Proceeding presentado a 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, SpainOne relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be able to communicate and understand each other using standard communication protocols freely, that is, without needing a laborious a priori preparation, before the communication takes place. For that setting we present in this paper a proposal that promotes to describe standard communication protocols using Semantic Web technology (specifically, OWL-DL and SWRL). Those protocols are constituted by communication acts. In our proposal those communication acts are described as terms that belong to a communication acts ontology, that we have developed, called CommOnt. The intended semantics associated to the communication acts in the ontology is expressed through social commitments that are formalized as fluents in the Event Calculus. In summary, OWL-DL reasoners and rule engines help in our proposal for reasoning about protocols. We define some comparison relationships (dealing with notions of equivalence and specialization) between protocols used by agents from different systems.The work of Idoia Berges is supported by a grant of the Basque Government. This work is also supported by the University of the Basque Country, Diputación Foral de Gipuzkoa (cosupported by the European Social Fund) and the Spanish Ministry of Education and Science TIN2007-68091-C02-01

A mechanism for discovering semantic relationships among agent communication protocols

One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agent communication capability at the semantic level. Agents should be able to communicate with each other freely using different communication protocols, constituted by communication acts. For that scenario, we introduce in this paper an efficient mechanism that presents the following main features: (i) It promotes the description of the communication acts of protocols as classes that belong to a communication actsmontology, and associates to those acts a social commitment semantics formalized through predicates in the Event Calculus. (ii) It is sustained on the idea that different protocols can be compared semantically by looking to the set of fluents associated to each branch of the protocols. Those sets are generated using Semantic Web technology rules. (iii) It discovers the following types of protocol relationships: equivalence, specialization, restriction, prefix, suffix, infix and complement_to_infix.The work of Idoia Berges is supported by a grant of the Basque Government (Programa de Formación de Investigadores del Departamento de Educación, Universidades e Investigación). This work is also supported by the Basque Country Government IT-427-07 and the Spanish Ministry of Education and Science TIN2007-68091-C02-01

A Telerehabilitation System for the Selection, Evaluation and Remote Management of Therapies

Telerehabilitation systems that support physical therapy sessions anywhere can help save healthcare costs while also improving the quality of life of the users that need rehabilitation. The main contribution of this paper is to present, as a whole, all the features supported by the innovative Kinect-based Telerehabilitation System (KiReS). In addition to the functionalities provided by current systems, it handles two new ones that could be incorporated into them, in order to give a step forward towards a new generation of telerehabilitation systems. The knowledge extraction functionality handles knowledge about the physical therapy record of patients and treatment protocols described in an ontology, named TRHONT, to select the adequate exercises for the rehabilitation of patients. The teleimmersion functionality provides a convenient, effective and user-friendly experience when performing the telerehabilitation, through a two-way real-time multimedia communication. The ontology contains about 2300 classes and 100 properties, and the system allows a reliable transmission of Kinect video depth, audio and skeleton data, being able to adapt to various network conditions. Moreover, the system has been tested with patients who suffered from shoulder disorders or total hip replacement.This research was funded by the Spanish Ministry of Economy and Competitiveness grant number FEDER/TIN2016-78011-C4-2R

Use of semantic technology to describe and reason about communication protocols

Nowadays there is a tendency to enhance the functionality of Information Systems by appropriate information agents. Those information agents communicate through communication acts expressed in an Agent Communication Language. Moreover, the aim is to achieve interoperation of those agents through standard communication protocols in a distributed environment such as that supported by the Semantic Web. In this paper we present a proposal to describe those protocols using a Semantic Web language. Two are the main features of that proposal. On the one hand, the communication acts that appear in the communication protocols are described by terms belonging to a communication acts ontology called COMMONT. On the other hand, protocols are represented by state transition systems described using OWL-DL language. This type of description provides the means to reason about the communication protocols in such a way that several kinds of structural relationships can be detected, namely if a protocol is a prefix, a suffix or an infix of another protocol and that relationship taken in a sense of equivalence or specialization. Furthermore, equivalence and specialization relationships can also be detected for complete protocols. Those relationships are captured by subsumption of classes described with a Semantic Web languageThe work of Idoia Berges is supported by a grant of the Basque Government. This work is also supported by the University of the Basque Country, Diputación Foral de Gipuzkoa (cosupported by the European Social Fund) and the Spanish Ministry of Education and Science TIN2007-68091-C02-01

Aprendizaje Basado en Proyectos para la asignatura Ingeniería del Software

Duración (en horas): Más de 50 horas. Destinatario: Estudiante y DocenteEn este recurso se presenta una experiencia docente diseñada e implementada que utiliza la metodología de Aprendizaje Basado en Proyectos en la asignatura Ingeniería del Software I, correspondiente al cuarto cuatrimestre del Grado en Ingeniería Informática. Su primera implantación de esta experiencia es la descrita en el presente documento, que ha tenido lugar simultáneamente en los tres grupos existentes: el de castellano (35 alumnos), el de euskera (28 alumnos) y el de inglés (7 alumnos), durante el curso 2012/2013, entre el 28 de enero de 2013 y el 24 de mayo del mismo año. La razón de esta puesta en marcha en todos los grupos al unísono es la existencia de un programa ERAGIN-INFORMATIKA específico en nuestro centro. La Facultad de Informática ha adoptado como línea estratégica el que los estudiantes del grado puedan cursar una asignatura implantada sobre los presupuestos del ABP (Aprendizaje basado en Proyectos) por cada cuatrimestre, a lo largo de todo su currículum, e IKD ha respondido con la adopción de este programa con su planificación y objetivos específicos

Contextual and psychological variables in a descriptive model of subjective well-being and school engagement

Background/Objective: The objective of this ex post facto study is to analyze both the direct relationships between perceived social support, self-concept, resilience, subjective well-being and school engagement. Method: To achieve this, a battery of instruments was applied to 1,250 Compulsory Secondary Education students from the Basque Country (49% boys and 51% girls), aged between 12 and 15 years (M = 13.72, SD = 1.09), randomly selected. We used a structural equation model to analyze the effects of perceived social support, self-concept and resilience on subjective well-being and school engagement. Results: The results provide evidence for the influence of the support of family, peer support and teacher support on self-concept. In addition, self-concept is shown as a mediating variable associated with resilience, subjective well-being and school engagement. Conclusions: We discuss the results in the context of positive psychology and their practical implications in the school context.Antecedentes/Objetivo : El objetivo de este estudio ex post facto es analizar las relaciones entre apoyo social percibido, autoconcepto, resiliencia, bienestar subjetivo e implicación escolar. Método : Se aplicó una batería de instrumentos a 1.250 estudiantes de Educación Secundaria Obligatoria del País Vasco (49% chicos y 51% chicas), de entre 12 y 15 a ̃ nos ( M = 13,72, DT =1,09), seleccionados aleatoriamente. Se sometió a prueba un modelo de ecuaciones estruc- turales para analizar los efectos del apoyo social percibido, el autoconcepto y la resiliencia sobre el bienestar subjetivo y la implicación escolar. Resultados : Los resultados aportan evidencias a favor de la influencia que ejercen el apoyo de la familia, el apoyo de los iguales y el apoyo del profesorado sobre el autoconcepto, que a su vez se muestra como variable mediadora asociada a la resiliencia, el bienestar subjetivo y la implicación escolar. Conclusiones: Se discuten los resultados obtenidos en el marco de la psicología positiva y sus implicaciones prácticas en el contexto escolar.The authors of this study are part of the Consolidated Research Group IT701-13 of the Basque University System. The study was carried out as part of the research project EHUA 15/15 at the University of the Basque Country (UPV-EHU)

Aprendizaje Basado en Proyectos para la asignatura Ingeniería del Software

Duración (en horas): Más de 50 horas. Destinatario: Estudiante y DocenteEn este recurso se presenta una experiencia docente diseñada e implementada que utiliza la metodología de Aprendizaje Basado en Proyectos en la asignatura Ingeniería del Software I, correspondiente al cuarto cuatrimestre del Grado en Ingeniería Informática. Su primera implantación de esta experiencia es la descrita en el presente documento, que ha tenido lugar simultáneamente en los tres grupos existentes: el de castellano (35 alumnos), el de euskera (28 alumnos) y el de inglés (7 alumnos), durante el curso 2012/2013, entre el 28 de enero de 2013 y el 24 de mayo del mismo año. La razón de esta puesta en marcha en todos los grupos al unísono es la existencia de un programa ERAGIN-INFORMATIKA específico en nuestro centro. La Facultad de Informática ha adoptado como línea estratégica el que los estudiantes del grado puedan cursar una asignatura implantada sobre los presupuestos del ABP (Aprendizaje basado en Proyectos) por cada cuatrimestre, a lo largo de todo su currículum, e IKD ha respondido con la adopción de este programa con su planificación y objetivos específicos