Exploració per tema "Machine theory"
Ara es mostren els items 1-13 de 13
-
Adaptively learning probabilistic deterministic automata from data streams
(2014-07)
Article
Accés restringit per política de l'editorialMarkovian models with hidden state are widely-used formalisms for modeling sequential phenomena. Learnability of these models has been well studied when the sample is given in batch mode, and algorithms with PAC-like ... -
Combining biased randomization with meta-heuristics for solving the multi-depot vehicle routing problem
(2012)
Comunicació de congrés
Accés restringit per política de l'editorialThis paper proposes a hybrid algorithm, combining Biased-Randomized (BR) processes with an Iterated Local Search (ILS) meta-heuristic, to solve the Multi-Depot Vehicle Routing Problem (MDVRP). Our approach assumes a ... -
Communication requirements for team automata
(Springer, 2017)
Text en actes de congrés
Accés obertCompatibility of components is an important issue in the quest for systems of systems that guarantee successful communications, free from message loss and indefinite waiting for inputs. In this paper, we investigate ... -
Conditions for compatibility of components: The case of masters and slaves
(Springer, 2016)
Text en actes de congrés
Accés obertWe consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide ... -
Disseny i desenvolupament d'un model matemàtic per a la planificació de les línies de folrat d'una industria de packaging
(Universitat Politècnica de Catalunya, 2015-10)
Projecte Final de Màster Oficial
Accés restringit per acord de confidencialitat -
Improving learning automata-based routing in Wireless Sensor Networks
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Text en actes de congrés
Accés obertRecent research in the field of Wireless Sensor Networks (WSNs) has demonstrated the advantages of using learning automata theory to steer the routing decisions made by the sensors in the network. These advantages include ... -
Learning probability distributions generated by finite-state machines
(Springer, 2016)
Capítol de llibre
Accés obertWe review methods for inference of probability distributions generated by probabilistic automata and related models for sequence generation. We focus on methods that can be proved to learn in the inference in the limit ... -
Maquetas didácticas para la enseñanza de Teoría de Máquinas y Mecanismos: análisis comparativo del diseño, la fabricación, el control y el coste
(Universitat Politècnica de Catalunya, 2020-11-16)
Treball Final de Grau
Accés obertEl presente Trabajo Final de Grado tiene dos objetivos principales, el primero es analizar las características constructivas, funcionales y el coste de adquisición de maquetas comercializadas para la enseñanza de la materia ... -
Motor adaptation as a greedy optimization of error and effort
(The American Physiological Society, 2007-03-31)
Article
Accés restringit per política de l'editorialthought of as a process in which the nervous system learns to anticipate the environmental forces to eliminate kinematic error. Here we show that motor adaptation can more generally be modeled as a process in which the ... -
Programació de peces en màquines en paral·lel a múltiples nivells amb temps de preparació
(Universitat Politècnica de Catalunya, 2013-05)
Projecte/Treball Final de Carrera
Accés obertEl problema tractat en el present projecte és una variant del problema de programació del taller mecànic. En aquesta variant hi ha una disposició de les màquines en paral·lel. A més, no tots els tipus de peces es poden ... -
Proof complexity meets algebra
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017)
Text en actes de congrés
Accés obertWe analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional and semi-algebraic proof systems, the classical constructions ... -
Revisió crítica de mecanismes de barres d'Artobolevski.
(Universitat Politècnica de Catalunya, 2017-06-15)
Treball Final de Grau
Accés obertA l'assignatura de Teoria de Màquines i Mecanismes he analitzat diversos mecanismes descrits a l'obra I.I. Artobolevski. He observat algunes inconsistències que voldria ajudar a solucionar. Per això proposo analitzar el ... -
The HOM problem is EXPTIME-complete
(2016)
Article
Accés obertWe define a new class of tree automata with constraints and prove decidability of the emptiness problem for this class in exponential time. As a consequence, we obtain several EXPTIME-completeness results for problems on ...