Search results for "76"
showing 10 items of 2584 documents
Visibly pushdown modular games,
2014
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a module and is oblivious to previous module invocations, and thus does not depend on the context of invocation. In this work, we study for the first time modular strategies with respect to winning conditions that can be expressed by a pushdown automaton. We show that such games are undecidable in general, and become decidable for visibly pushdown automata specifications. Our solution relies on a reduction to modular games with finite-state automat…
Monoids and Maximal Codes
2011
In recent years codes that are not Uniquely Decipherable (UD) are been studied partitioning them in classes that localize the ambiguities of the code. A natural question is how we can extend the notion of maximality to codes that are not UD. In this paper we give an answer to this question. To do this we introduce a partial order in the set of submonoids of a monoid showing the existence, in this poset, of maximal elements that we call full monoids. Then a set of generators of a full monoid is, by definition, a maximal code. We show how this definition extends, in a natural way, the existing definition concerning UD codes and we find a characteristic property of a monoid generated by a maxi…
A Classification of Trapezoidal Words
2011
Trapezoidal words are finite words having at most n+1 distinct factors of length n, for every n>=0. They encompass finite Sturmian words. We distinguish trapezoidal words into two disjoint subsets: open and closed trapezoidal words. A trapezoidal word is closed if its longest repeated prefix has exactly two occurrences in the word, the second one being a suffix of the word. Otherwise it is open. We show that open trapezoidal words are all primitive and that closed trapezoidal words are all Sturmian. We then show that trapezoidal palindromes are closed (and therefore Sturmian). This allows us to characterize the special factors of Sturmian palindromes. We end with several open problems.
Causal Effect Identification from Multiple Incomplete Data Sources: A General Search-Based Approach
2021
Causal effect identification considers whether an interventional probability distribution can be uniquely determined without parametric assumptions from measured source distributions and structural knowledge on the generating system. While complete graphical criteria and procedures exist for many identification problems, there are still challenging but important extensions that have not been considered in the literature. To tackle these new settings, we present a search algorithm directly over the rules of do-calculus. Due to generality of do-calculus, the search is capable of taking more advanced data-generating mechanisms into account along with an arbitrary type of both observational and…
Exact affine counter automata
2017
We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, which is conjectured not to be solved by two-way quantum finite automata in polynomial time, can be solved by Las Vegas affine finite automata. Lastly, we show that how a counter helps for affine finite automata by showing that the language MANYTWINS, which is conjectured not to be recognized by affin…
Myocardial Infarction Quantification from Late Gadolinium Enhancement MRI Using Top-Hat Transforms and Neural Networks
2019
Significance: Late gadolinium enhanced magnetic resonance imaging (LGE-MRI) is the gold standard technique for myocardial viability assessment. Although the technique accurately reflects the damaged tissue, there is no clinical standard for quantifying myocardial infarction (MI), demanding most algorithms to be expert dependent. Objectives and Methods: In this work a new automatic method for MI quantification from LGE-MRI is proposed. Our novel segmentation approach is devised for accurately detecting not only hyper-enhanced lesions, but also microvascular-obstructed areas. Moreover, it includes a myocardial disease detection step which extends the algorithm for working under healthy scans.…
Caracterización de la familia génica LGI
2010
158 pages.
Efectos de la cocaína y del tolueno sobre la neurogénesis en el hipocampo de rata
2009
En el presente proyecto se estudió el efecto de dos drogas adictivas, el tolueno y la cocaína, sobre la neurogénesis hipocámpica. Los experimentos diseñados para ambas drogas, abordaron el estudio de la neurogénesis, a través de la medida de proliferación, supervivencia, diferenciación y migración. Además se analizó el efecto ultraestructural que ambas drogas causan sobre el giro dentado. De forma más exhaustiva, se estudió el efecto producido por una administración crónica del tolueno, durante el desarrollo del animal. Por último, se estudiaron los efectos de este tratamiento sobre la memoria y el aprendizaje. En los experimentos con cocaína, se estudió el efecto sobre la proliferación, su…
Fasciolosis crónica avanzada: análisis del desarrollo del parásito adulto y de la oviposición en el modelo experimental Wistar
2009
La patogénesis de la fasciolosis depende de la carga parasitaria y del tamaño de los trematodos adultos. En zonas de hiperendemia, las intensidades individuales de parasitación humana pueden alcanzar niveles muy altos, estando la mayoría de los individuos parasitados en la fase de cronicidad avanzada. En este estudio se ha utilizado el modelo experimental de fasciolosis en rata Wistar por ser un modelo animal útil que mimetiza la fasciolosis crónica avanzada en humanos. Se ha infectado un total de 169 ratas con 20 metacercarias/rata vía oral, llevándose a cabo los siguientes análisis: A) Estudio la influencia de la intensidad individual de infección por rata (entendiendo la intensidad de in…
Good Old-Fashioned Artificial Consciousness and the Intermediate Level Fallacy
2018
Recently, there has been considerable interest and effort to the possibility to design and implement conscious robots, i.e., the chance that a robot may have subjective experiences. However, typical approaches as the global workspace, information integration, enaction, cognitive mechanisms, embodiment, i.e., the Good Old-Fashioned Artificial Consciousness, henceforth, GOFAC, share the same conceptual framework. In this paper, we discuss GOFAC's basic tenets and their implication for AI and Robotics. In particular, we point out the intermediate level fallacy as the central issue affecting GOFAC. Finally, we outline a possible alternative conceptual framework towards robot consciousness.