Perspex machine X: software development

The Perspex Machine arose from the unification of computation with geometry. We now report significant redevelopment of both a partial C compiler that generates perspex programs and of a Graphical User Interface (GUI). The compiler is constructed with standard compiler-generator tools and produces both an explicit parse tree for C and an Abstract Syntax Tree (AST) that is better suited to code generation. The GUI uses a hash table and a simpler software architecture to achieve an order of magnitude speed up in processing and, consequently, an order of magnitude increase in the number of perspexes that can be manipulated in real time (now 6,000). Two perspex-machine simulators are provided, one using trans-floating-point arithmetic and the other using transrational arithmetic. All of the software described here is available on the world wide web. The compiler generates code in the neural model of the perspex. At each branch point it uses a jumper to return control to the main fibre. This has the effect of pruning out an exponentially increasing number of branching fibres, thereby greatly increasing the efficiency of perspex programs as measured by the number of neurons required to implement an algorithm. The jumpers are placed at unit distance from the main fibre and form a geometrical structure analogous to a myelin sheath in a biological neuron. Both the perspex jumper-sheath and the biological myelin-sheath share the computational function of preventing cross-over of signals to neurons that lie close to an axon. This is an example of convergence driven by similar geometrical and computational constraints in perspex and biological neurons.

Il culto dell’Uno dal Risorgimento al fascismo

This article (here in English; the published version is in Italian) explores the political parameters surrounding the development of personality cults of leading figures in Italian history from the time of unification to the present. It focuses on the problems of linking the masses to the state, with particular reference to the weakness of the monarchy and the challenge of rival forces, such as those of the Church. It looks at how attempts were made to 'nationalise' the monarchy and create a cult of Victor Emmanuel II. It examines the construction of the cult of Garibaldi, and its relationship to the state. The article suggests that personality cults, while far from being unique to Italy, were seen as having special relevance in Italy given the weakness of the representative institutions and the sensed fragmentation of political life. The article concludes with an examination of the cult of Mussolini and some reflections on the situation since 1945.

Leader of the pack? German monetary dominance in Europe prior to EMU

In this paper, the monetary policy independence of European nations in the years before European Economic and Monetary Union (EMU) is investigated using cointegration techniques. Daily data is used to assess pairwise relationships between individual EMU nations and ‘lead’ nation Germany, to assess the hypothesis that Germany was the dominant European nation prior to EMU. By and large our econometric investigations support this hypothesis, and lead us to conclude that the only European nation to lose monetary policy independence in the light of monetary union was Germany. Our results have important policy implications. Given that the loss of monetary policy independence is generally viewed as the main cost of monetary unification, our findings suggest a reconsideration of the costs and benefits of monetary integration. A country can only lose what it has, and in Europe the countries that joined EMU — spare Germany — apparently did not have much to lose, at least not in terms of monetary independence. Instead, they actually gained monetary policy influence by getting a seat in the ECB's governing council which is responsible for setting interest policy in the euro area.

Proprietary estoppel: a functional analysis

This article argues in favour of a functional analysis of proprietary estoppel which focuses on the role of the doctrine in enabling claims to the informal acquisition of property rights in land. The article shows that adopting such an analysis both assists our understanding of two recent decisions of the English House of Lords and helps to resolve issues of taxonomy that arise in relation to the doctrine. A functional analysis both unites the sub-categories of proprietary estoppel into a single principle and distinguishes this principle from other types of estoppel claim. It is suggested, however, that the unification of common law and equitable estoppel remains both possible and desirable as long as ‘unification’ is understood broadly and is not confined to the recognition of a doctrine that is identical in its scope and operation in all cases. It is further shown that despite a lack of discussion of the concept in the House of Lords, unconscionability continues to play a key role in proprietary estoppel and therefore in the informal acquisition of property rights. Unconscionability may now benefit from a closer connection with the other elements of claims which should prevent abuse of the concept and allay concerns of ‘palm-tree justice’.

80,000,000 hooligans. Discourses of resistance to racism and xenophobia in German punk lyrics 1991-1994

The late eighties and early nineties in Germany were not only marked by the fall of the Wall and German unification, but also by the dramatization of the political issue of asylum, resulting in outbreaks of xenophobic violence. In the context of the asylum debate of the early nineties, a number of punk bands produced songs between 1991 and 1994 which criticise the xenophobic climate created by the asylum debate and undermine an exculpatory official discourse about the violent attacks. The lyrics of these songs will be analysed as instances of counter-discourse emerging from a subcultural sphere that nurtures a critical distance towards hegemonic public and political discourse, arguing that Critical Discourse Analysis should pay more attention to defiance of hegemonic discourse.

Crossbred cow adoption and its correlates: countable adoption specification search in Sri Lanka's small holder dairy sector

Considerable specification choice confronts countable adoption investigations and there is need to measure, formally, the evidence in favor of competing formulations. This article presents alternative countable adoption specifications—hitherto neglected in the agricultural-economics literature—and assesses formally their usefulness to practitioners. Reference to the left side of de Finetti's (1937) famous representation theorem motivates Bayesian unification of agricultural adoption studies and facilitates comparisons with conventional binary-choice specifications. Such comparisons have not previously been considered. The various formulations and the specific techniques are highlighted in an application to crossbred cow adoption in Sri Lanka's small-holder dairy sector.

'All in one stroke': Grimms' fairy tales and the TV-production of a new Germany

The article looks at the most recent TV adaptations of the Grimms’ fairy tales by public broadcasting. Realized and marketed as a season which started in 2008,the thirty-four currently existing individual films constitute a significant national project that presents highly appealing notions of the German past to an audience divided over national conflict and demands of globalization. With children and adolescents at the centre, the films offer the young as a generation of moral superiority that facilitates social harmony and moral consensus. This post-unification utopia is beautifully realized on screen but rests on very conservative assumptions about gender, social driving forces, and political order.

A simplified approach for Chaplygin-type cosmologies

A new class of accelerating cosmological models driven by a one-parameter version of the general Chaplygin-type equation of state is proposed. The simplified version is naturally obtained from causality considerations with basis on the adiabatic sound speed vs plus the observed accelerating stage of the universe. We show that very stringent constraints on the unique free parameter a describing the simplified Chaplygin model can be obtained from a joint analysis involving the latest SNe type la data and the recent Sloan Digital Sky Survey measurement of baryon acoustic oscillations (BAO). In our analysis we have considered separately the SNe type la gold sample measured by [A.G. Riess et al.. Astrophys. J. 607 (2004) 665] and the supernova legacy survey (SNLS) from [P. Astier et al., Astron. Astrophys. 447 (2006) 31]. At 95.4% (c.l.), we find for BAO + gold sample, 0.91 <= alpha <= 1.0 and Omega(m) = 0.28(-0.048)(+0.043) while BAO + SNLS analysis provides 0.94 <= alpha <= 1.0 and Omega(m) = 0.27(-0.045)(+0.048). (C) 2008 Elsevier B.V. All rights reserved.

An integer linear programming approach for approximate string comparison

We introduce a problem called maximum common characters in blocks (MCCB), which arises in applications of approximate string comparison, particularly in the unification of possibly erroneous textual data coming from different sources. We show that this problem is NP-complete, but can nevertheless be solved satisfactorily using integer linear programming for instances of practical interest. Two integer linear formulations are proposed and compared in terms of their linear relaxations. We also compare the results of the approximate matching with other known measures such as the Levenshtein (edit) distance. (C) 2008 Elsevier B.V. All rights reserved.

Europeisk familjelycka : Om användandet av familjemetaforen i EU

The re-unification of a family of nations: usages of the family metaphor in the EU This article analyses usages of the family metaphor in the EU. It starts up with a scrutiny of feminist theories of the nation-as-family metaphor. Introducing the concept of domopolitics, the author infers that the family, on the one hand, connotes to feelings of security and homelyness and, on the other hand, fears of the well-known, of immanent threats to in-group cohesion. The significance of the family metaphor in the EU rhetoric connects to a renewed emphasis on distinct values, principles and norms that balance the otherwise technocratic image of the EU. He further applies the nation-as-family metaphor to contemporary EU rhetoric. In the analysis, he infers that all three dimensions of the metaphor (ethnic, civil and hierarchic) are manifest in the EU political language making its use an enterprise that strives at moving beyond, but not completely away from the nation-state paradigm.

Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

Integração de políticas sociais: um estudo de caso sobre o Bolsa Família

O presente trabalho propõe-se a analisar o processo de integração das diversas ações de transferência de renda no âmbito do governo federal, durante a primeira gestão do presidente Luiz Inácio Lula da Silva, entre os anos de 2003 e 2006, que resultou na criação do Programa Bolsa Família. A análise proposta busca contribuir para ampliar o conhecimento sobre o governo e a administração pública, gerando informações sobre a formação da agenda governamental de um governo comprometido, programaticamente, com a redução da pobreza e da desigualdade social. Quanto ao caminho metodológico percorrido, na elaboração desta dissertação, partiu-se da seguinte pergunta-chave: por que e como se deu o processo de integração do Programa Bolsa Família? A metodologia de pesquisa aplicada consistiu na identificação das razões para a entrada deste tema na agenda governamental do primeiro governo do presidente Lula. Para tanto, foi realizado um estudo de caso, objetivando identificar quais atores participaram da discussão sobre a unificação dos programas de transferência de renda e quais foram os conceitos que os orientaram. Como instrumento de pesquisa, optou-se pela aplicação de entrevistas semi-estruturadas com alguns participantes do Grupo de Trabalho de Unificação dos Programas de Transferência de Renda. Além das entrevistas, as outras fontes utilizadas foram: os relatórios e/ou atas das reuniões do Grupo de Trabalho, da Câmara de Política Social do governo; as legislações dos programas anteriores; a legislação do Programa Bolsa Família; os discursos realizados pelo presidente eleito Luiz Inácio Lula da Silva entre janeiro e outubro de 2003. Por meio da análise, de toda a documentação elencada, é possível verificar o esforço governamental no sentido de implementar mudanças nos programas de transferência de renda. Dessas reuniões foram produzidos relatórios pelos Grupos Técnicos, abordando as políticas sociais para a redução das desigualdades, construindo o Programa Bolsa Família levando se em conta a importância do legado histórico das ações existentes. Como resultado da pesquisa, identificou-se que o presidente Lula, a Câmara de Política Social e o seu grupo de especialistas técnicos souberam aproveitar a janela de oportunidades de um governo que estava iniciando com forte apelo para desenvolver políticas públicas de combate à fome e a pobreza. Após percorrer o caminho de reconstrução histórica para a elaboração dessa dissertação, buscou-se destacar algumas contribuições que tem por objetivo servir de incentivo para novos estudos sobre o processo decisório na esfera pública de governo.

Eficiência na arrecadação de tributos: análise através de uma fronteira estocástica de custo aplicada as delegacias da Receita Federal do Brasil

O presente estudo pretende avaliar o desempenho das Delegacias da Receita Federal através do estabelecimento de uma fronteira de eficiência paramétrica baseada nos custos, utilizando para tal um modelo estocástico que divide o ruído em dois componentes, sendo um aleatório e outro proveniente da ineficiência de cada unidade. O trabalho terá por base dados relativos aos anos de 2006 e 2008 em uma análise em corte transversal e visa avaliar a política pública de unificação dos órgãos estatais responsáveis pela arrecadação de tributos em nível Federal, a Secretaria da Receita Federal (SRF) com a Secretaria da Receita Previdenciária (SRP), ocorrida através da lei 11.457 de 16 de março de 2007. O objetivo principal da pesquisa é determinar se as unidades descentralizadas da Receita Federal, notadamente as Delegacias da Receita Federal estão operando com eficiência, na tarefa de arrecadar tributos, em função dos recursos colocados a disposição para execução de suas atividades. Na presente pesquisa o produto da unidade a ser avaliado é a arrecadação, dentre as inúmeras atividades realizadas pelo órgão, no sentido de proporcionar ao Estado recurso para implantação de Políticas Públicas. O resultado encontrado indica que as regiões onde existe um grande número de empresas optantes pelo regime de tributação do SIMPLES, bem como as que possuem em sua jurisdição empresas consideradas DIFERENCIADAS pelo seu porte, provocam um aumento nos custos das Delegacias. As unidades que se encontram nas capitais dos Estados melhoraram o seu desempenho após a unificação. Além disso, uma proporção maior de Auditores Fiscais dentro da Delegacia em relação ao total de servidores reduz a ineficiência. O trabalho espera contribuir na avaliação desse novo modelo de gestão implantado na administração tributária federal no país.

A participação do poder legislativo na definição das metas e prioridades do orçamento publico federal no periodo 1990/95

A elaboração do orçamento público é uma das mais importantes atribuições do Poder Legislativo nos países de regime democrático, não obstante a iniciativa das leis orçamentárias tenha se transferido para o Executivo. Atualmente, os papéis desempenhados pelos Poderes Executivo e Legislativo na elaboração do orçamento estão definidos nas constituições, onde se observa uma tendência ao equilíbrio entre os dois Poderes. A história do orçamento está intimamente associada ao poderio crescente dos parlamentos que passaram a reivindicar o direito de autorizar as receitas e dispor sobre as despesas públicas. O orçamento, introduzido primeiramente na Inglaterra, como um instrumento de controle político do Parlamento sobre a Coroa, e adotado pelos franceses e norte-americanos em suas lutas por liberdade, aos poucos, foi sendo utilizado pela maioria das nações. No Brasil, tomando-se por referência as constituições ao longo de sua história, a participação do Poder Legislativo na elaboração do orçamento caracterizou-se pela oscilação em termos do maior ou menor controle sobre as decisões orçamentárias. A Constituição Federal de 1 988 recuperou as prerrogativas do Congresso Nacional para dispor sobre matéria orçamentária que haviam sido retiradas na Constituição de 1 967. A Constituição trouxe importantes mudanças nesta área, entre elas a conclusão do processo de unificação orçamentária, a aprovação pelo Legislativo não só da lei orçamentária como dos novos instrumentos de planejamento (lei do plano plurianual e lei de diretrizes orçamentárias), a instituição de uma comissão mista permanente de Senadores e Deputados e a possibilidade de emendar os projetos de lei do Executivo. A lei de diretrizes orçamentárias, considerada uma das mais relevantes inovações introduzidas ao capítulo da Constituição que trata do orçamento público, foi concebida com o objetivo maior de permitir uma intervenção prévia do Poder Legislativo na elaboração do projeto de lei do orçamento, antecipando as decisões sobre as metas e prioridades a serem contempladas na elaboração orçamentária. Apesar dos novos instrumentos e do amplo poder de intervenção, no período de 1990 à 1995 a atuação do Legislativo no que diz respeito à definição de metas e prioridades ficou comprometida principalmente pela falta de vontade política para aprovar a Lei Complementar de Finanças Públicas e para implantar na comissão mista de orçamento uma estrutura e processos de funcionamento correspondentes ao novo papel que a Constituição reservou a esta comissão. A análise dos documentos e os depoimentos levantados mostraram que a atuação do Legislativo foi prejudicada também pela inexistência do planejamento governamental e pela deficiência dos projetos de lei do Executivo, que pouca atenção deram às metas e prioridades.

A modernização organizacional da criminalística brasileira: uma proposta

O presente trabalho versa sobre a Perícia Oficial Brasileira de Natureza Criminal, mostrando uma análise de sua estrutura: órgãos, agentes, autonomia e denominações, na intenção de alcançar medidas que assegurem a excelência no desempenho dos trabalhos desenvolvidos pelas Instituições competentes, consolidando uma proposta de modernização organizacional da criminalística brasileira, levando em consideração a autonomia dessas em cada Estado, propondo a unificação das suas denominações e dos respectivos cargos, apresentando um novo organograma, com a finalidade de promover uma administração mais objetiva daqueles órgãos. Na busca deste propósito, este trabalho foi desenvolvido por meio de dois tipos de pesquisa: uma de natureza bibliográfica para o conhecimento da realidade das questões relacionadas, com destaque para a fundamentação de que a atividade pericial de natureza criminal é função do Estado, e outra realizada por intermédio de questionários com presidentes de associações e sindicatos dos peritos oficiais ligados a Perícias Criminais, buscando obter informações sobre a estrutura atual e opiniões relativas ao modelo ideal de estruturação para os Órgãos Oficiais de Natureza Criminal do Brasil.