Search results for "PC"

Hopcroft's algorithm and tree-like automata

2011

Minimizing a deterministic finite automata (DFA) is a very important problem in theory of automata and formal languages. Hopcroft's algorithm represents the fastest known solution to the such a problem. In this paper we analyze the behavior of this algorithm on a family binary automata, called tree-like automata, associated to binary labeled trees constructed by words. We prove that all the executions of the algorithm on tree-like automata associated to trees, constructed by standard words, have running time with the same asymptotic growth rate. In particular, we provide a lower and upper bound for the running time of the algorithm expressed in terms of combinatorial properties of the trees…

Circular sturmian words and Hopcroft’s algorithm

2009

AbstractIn order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relationships between the combinatorial properties of a circular sturmian word (x) and the run of the algorithm on the cyclic automaton Ax associated to (x). The combinatorial properties of words taken into account make use of sturmian morphisms and give rise to the notion of reduction tree of a circular sturmian word. We prove that the shape of this tree uniquely characterizes the word itself. The properties of the run of Hopcroft’s algorithm are expressed in terms of the derivation tree of the automaton, which is a tree that represents the refinement process that, in the execution of Hopcroft’s alg…

On Extremal Cases of Hopcroft’s Algorithm

2009

In this paper we consider the problem of minimization of deterministic finite automata (DFA) with reference to Hopcroft’s algorithm. Hopcroft’s algorithm has several degrees of freedom, so there can exist different sequences of refinements of the set of the states that lead to the final partition. We find an infinite family of binary automata for which such a process is unique. Some recent papers (cf. [3,7,1]) have been devoted to find families of automata for which Hopcroft’s algorithm has its worst execution time. They are unary automata associated to circular words. However, automata minimization can be achieved also in linear time when the alphabet has only one letter (cf. [14]), so in …

The political attribution of values to Intangible Cultural Heritage: the consuetudinary courts

2021

En el año 2009 la UNESCO incluyó el Tribunal de las Aguas de Valencia y el de Hombres Buenos de Murcia en la Lista Representativa del Patrimonio Cultural Inmaterial de la Humanidad. Ambas instituciones de derecho consuetudinario fueron reconocidas a través de la más elevada categoría de protección inmaterial a nivel internacional. A lo largo de las últimas décadas se han emitido resoluciones consultivas (culturales, jurídicas) y desarrollado una agenda de investigación que suscitan el interés por el análisis de los valores atribuidos o atribuibles a ciertas manifestaciones culturales (materiales o inmateriales) cuya apelación serviría a los actores sociales y políticos para justificar su re…

Latvijas Universitātes Raksti; 765 .sēj.

2011

Activation of TRPC6 calcium channels by diacylglycerol (DAG)-containing arachidonic acid: A comparative study with DAG-containing docosahexaenoic acid

2006

We synthesized a diacylglycerol (DAG)-containing arachidonic acid, i.e., 1-stearoyl-2-arachidonyl-sn-glycerol (SAG), and studied its implication in the modulation of canonical transient receptor potential sub-type 6 (TRPC6) channels in stably-transfected HEK-293 cells. SAG induced the influx of Ca(2+), and also of other bivalent cations like Ba(2+) and Sr(2+), in these cells. SAG-evoked Ca(2+) influx was not due to its metabolites as inhibitors of DAG-lipase (RHC80267) and DAG-kinase (R50922) failed to inhibit the response of the same. To emphasise that SAG exerts its action via its DAG configuration, but not due to the presence of stearic acid at sn-1 position, we synthesized 1-palmitoyl-2…

Bulla de Clemente XIII sobre el Patronazgo de la Virgen Maria Madre de Dios en todos los Dominios del Rei Catholico Don Carlos III con el titulo de l…

Carles III mana publicar i cumplir la Butlla de Climent XIII de 8 de Novembre de 1770 Tít. a la p. [3]: Bulla de Clemente XIII sobre el Patronazgo de la Virgen Maria Madre de Dios en todos los Dominios del Rei Catholico Don Carlos III con el titulo de la Immaculada Concepcion Caplletra ornada Sign. : A6 Reclams El text de la Butlla bilingüe: llatí i castella, a dues col. separades per banda

[Butlla, 1770, 11, 08]

1763

Carles III mana publicar i cumplir la Butlla de Climent XIII de 8 de Novembre de 1770 Caplletra ornada Sign. : A6 Reclams

Programming languages for data-Intensive HPC applications: A systematic mapping study

2020

This work is a result of activities from COST Action 10406 High -Performance Modelling and Simulation for Big Data Applications (cHiPSet), funded by the European Cooperation in Science and Technology. FCT, Portugal for grants: NOVA LINCS Research Laboratory Ref. UID/ CEC/ 04516/ 2019); INESC-ID Ref. UID/CEC/50021/2019; BioISI Ref. UID/MULTI/04046/2103; LASIGE Research Unit Ref. UID/CEC/00408/ 2019. A major challenge in modelling and simulation is the need to combine expertise in both software technologies and a given scientific domain. When High-Performance Computing (HPC) is required to solve a scientific problem, software development becomes a problematic issue. Considering the complexity…

Contribution à l'étude des évolutions contemporaines du droit constitutionnel français

2016

Classiquement consacré à l’étude des institutions politiques, le droit constitutionnel s’est enrichi de l’étude du système normatif, notamment dans ses liens avec les systèmes juridiques régionaux et internationaux, et de la protection des droits et libertés fondamentaux. Les travaux de recherche présentés dans ce mémoire ne portent pas sur l’étude des institutions politiques mais intéressent en revanche les deux autres domaines du droit constitutionnel.S’agissant de l’étude du système normatif, il apparaît qu’il s’ajuste progressivement pour mieux intégrer les contraintes liées au développement du droit international en général et du droit de l’Union européenne et de la Convention européen…