Search
Now showing items 1-10 of 43
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ...
Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction
(Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2014)
We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether ...
Impulsive Vaccination for an Epidemiology Model
(IOP Publishing, 2017)
This paper investigates sufficient conditions of almost periodic sand periodic solutions of an integral model under impulsive controls. Since the model is of generic epidemiological interest, such impulsive controls are ...
Learning Multirobot Hose Transportation and Deployment by Distributed Round-Robin Q-Learning
(Public Library Science, 2015-07-09)
Multi-Agent Reinforcement Learning (MARL) algorithms face two main difficulties: the curse of dimensionality, and environment non-stationarity due to the independent learning processes carried out by the agents concurrently. ...
Reproducibility dataset for a large experimental survey on word embeddings and ontology-based methods for word similarity
(Elsevier, 2019-10-26)
This data article introduces a reproducibility dataset with the aim of allowing the exact replication of all experiments, results and data tables introduced in our companion paper (Lastra-Diaz et al., 2019), which introduces ...
A Robust Optimization Based Energy-Aware Virtual Network Function Placement Proposal for Small Cell 5G Networks with Mobile Edge Computing Capabilities
(Hindawi, 2017)
In the context of cloud-enabled 5G radio access networks with network function virtualization capabilities, we focus on the virtual network function placement problem for a multitenant cluster of small cells that provide ...
QoE-Oriented Mobile Edge Service Management Leveraging SDN and NFV
(Hindawi, 2017)
5G envisages a "hyperconnected society" where trillions of diverse entities could communicate with each other anywhere and at any time, some of which will demand extremely challenging performance requirements such as ...
TrhOnt: building an ontology to assist rehabilitation processes
(Biomed Central, 2016-10-04)
Background: One of the current research efforts in the area of biomedicine is the representation of knowledge in a structured way so that reasoning can be performed on it. More precisely, in the field of physiotherapy, ...
Towards a top-down approach for an automatic discourse analysis for Basque: Segmentation and Central Unit detection tool
(Public Library Science, 2019-09-04)
Lately, discourse structure has received considerable attention due to the benefits its application offers in several NLP tasks such as opinion mining, summarization, question answering, text simplification, among others. ...
Open BOK on Software Engineering Educational Context: A Systematic Literature Review
(MDPI, 2020-08-24)
In this review, a Systematic Literature Review (SLR) on Open Body of Knowledge (BOK) is presented. Moreover, the theoretical base to build a model for knowledge description was created, and it was found that there is a ...