Learning the dynamics of embedded clauses

Recent work by Siegelmann has shown that the computational power of recurrent neural networks matches that of Turing Machines. One important implication is that complex language classes (infinite languages with embedded clauses) can be represented in neural networks. Proofs are based on a fractal encoding of states to simulate the memory and operations of stacks. In the present work, it is shown that similar stack-like dynamics can be learned in recurrent neural networks from simple sequence prediction tasks. Two main types of network solutions are found and described qualitatively as dynamical systems: damped oscillation and entangled spiraling around fixed points. The potential and limitations of each solution type are established in terms of generalization on two different context-free languages. Both solution types constitute novel stack implementations - generally in line with Siegelmann's theoretical work - which supply insights into how embedded structures of languages can be handled in analog hardware.

Decompositions of complete graphs into theta graphs with fewer than ten edges

A theta graph is a graph consisting of three pairwise internally disjoint paths with common end points. Methods for decomposing the complete graph K-nu into theta graphs with fewer than ten edges are given.

Large sets of large sets of Steiner triple systems of order 9

We describe a direct method of partitioning the 840 Steiner triple systems of order 9 into 120 large sets. The method produces partitions in which all of the large sets are isomorphic and we apply the method to each of the two non-isomorphic large sets of STS(9).

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Metas do Conselho Nacional de Justi??a 2012/2013: uma an??lise dos contornos gerenciais assumidos pela reforma do poder judici??rio no Brasil

Este artigo tem como objetivo avan??ar no estudo do processo de reforma do Poder Judici??rio brasileiro, o qual se insere no processo de reforma do Estado p??trio. A partir das contribui????es de Osborne e Gaebler (1992) e Abrucio (2006), buscou-se tra??ar um paralelo entre as l??gicas gerencial e fiscal e esclarecer como as mesmas refletiram nos indicadores de efic??cia, efici??ncia e efetividade do Poder Judici??rio no Brasil. Para atingir o objetivo proposto, optou-se por utilizar como m??todo a an??lise de conte??do de Bardin (2002), pela regra de enumera????o do tipo frequ??ncia, buscando, com isso, observar o papel que o Conselho Nacional de Justi??a exerceu nesse processo e a l??gica do plano de metas estabelecido pela institui????o para os anos de 2012 e 2013. Como resultado, observou-se que as metas estabelecidas para o bi??nio buscaram implantar uma gest??o mais eficaz nesse n??cleo estrat??gico do Estado, com ??nfase na celeridade processual, gest??o administrativa e informatiza????o dos procedimentos. Percebeu-se que a l??gica gerencial continua exercendo grande influ??ncia no modelo de gest??o adotado. Como novidade, verificou-se a inser????o de indicadores de efetividade, os quais podem permitir aproximar os objetivos dessa esfera de poder com os da sociedade brasileira, repercutindo na elabora????o de metas futuras.

Pol??tica social, governan??a e capacidade: reformas e restri????es do setor p??blico

Tendo como pano de fundo a natureza problem??tica das tentativas de reformar os sistemas nacionais de presta????o de servi??os sociais e de sa??de, este artigo busca fazer uma revis??o da l??gica da Nova Gest??o P??blica (NGP) no setor de servi??os de sa??de. Ap??s contextualizar as diversas abordagens da capacita????o em pol??ticas sociais e as tr??s gera????es de reformas do setor p??blico, faz um exame das reformas aplicadas na presta????o de servi??os de sa??de, sugerindo estrat??gias que levem em conta a capacidade. O artigo finaliza com uma discuss??o sobre o papel da governan??a na pol??tica social e no desenvolvimento.

Organiza????o dos usu??rios, participa????o na gest??o e controle das organiza????es sociais

O artigo discute a participa????o dos usu??rios na gest??o das Organiza????es Sociais, prevista num projeto da reforma do aparelho de Estado atualmente em curso. A participa????o dos usu??rios na gest??o das institui????es p??blicas ?? um instrumento que pode resolver problemas da rela????o principal-agente, garantindo a implementa????o eficiente das pol??ticas. No projeto das Organiza????es Sociais, essa participa????o ?? viabilizada, entre outros meios, pela presen??a de entidades representativas da sociedade civil no Conselho de Administra????o da institui????o, pressupondo, portanto, a organiza????o dos usu??rios. Por essa raz??o, no artigo s??o analisadas as possibilidades de organiza????o dos usu??rios com base na abordagem da ???l??gica da a????o coletiva???.