510 resultados para Guil unification


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Syntactic theory provides a rich array of representational assumptions about linguistic knowledge and processes. Such detailed and independently motivated constraints on grammatical knowledge ought to play a role in sentence comprehension. However most grammar-based explanations of processing difficulty in the literature have attempted to use grammatical representations and processes per se to explain processing difficulty. They did not take into account that the description of higher cognition in mind and brain encompasses two levels: on the one hand, at the macrolevel, symbolic computation is performed, and on the other hand, at the microlevel, computation is achieved through processes within a dynamical system. One critical question is therefore how linguistic theory and dynamical systems can be unified to provide an explanation for processing effects. Here, we present such a unification for a particular account to syntactic theory: namely a parser for Stabler's Minimalist Grammars, in the framework of Smolensky's Integrated Connectionist/Symbolic architectures. In simulations we demonstrate that the connectionist minimalist parser produces predictions which mirror global empirical findings from psycholinguistic research.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The emergence of mental states from neural states by partitioning the neural phase space is analyzed in terms of symbolic dynamics. Well-defined mental states provide contexts inducing a criterion of structural stability for the neurodynamics that can be implemented by particular partitions. This leads to distinguished subshifts of finite type that are either cyclic or irreducible. Cyclic shifts correspond to asymptotically stable fixed points or limit tori whereas irreducible shifts are obtained from generating partitions of mixing hyperbolic systems. These stability criteria are applied to the discussion of neural correlates of consiousness, to the definition of macroscopic neural states, and to aspects of the symbol grounding problem. In particular, it is shown that compatible mental descriptions, topologically equivalent to the neurodynamical description, emerge if the partition of the neural phase space is generating. If this is not the case, mental descriptions are incompatible or complementary. Consequences of this result for an integration or unification of cognitive science or psychology, respectively, will be indicated.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The perspex machine arose from the unification of projective geometry with the Turing machine. It uses a total arithmetic, called transreal arithmetic, that contains real arithmetic and allows division by zero. Transreal arithmetic is redefined here. The new arithmetic has both a positive and a negative infinity which lie at the extremes of the number line, and a number nullity that lies off the number line. We prove that nullity, 0/0, is a number. Hence a number may have one of four signs: negative, zero, positive, or nullity. It is, therefore, impossible to encode the sign of a number in one bit, as floating-, point arithmetic attempts to do, resulting in the difficulty of having both positive and negative zeros and NaNs. Transrational arithmetic is consistent with Cantor arithmetic. In an extension to real arithmetic, the product of zero, an infinity, or nullity with its reciprocal is nullity, not unity. This avoids the usual contradictions that follow from allowing division by zero. Transreal arithmetic has a fixed algebraic structure and does not admit options as IEEE, floating-point arithmetic does. Most significantly, nullity has a simple semantics that is related to zero. Zero means "no value" and nullity means "no information." We argue that nullity is as useful to a manufactured computer as zero is to a human computer. The perspex machine is intended to offer one solution to the mind-body problem by showing how the computable aspects of mind and. perhaps, the whole of mind relates to the geometrical aspects of body and, perhaps, the whole of body. We review some of Turing's writings and show that he held the view that his machine has spatial properties. In particular, that it has the property of being a 7D lattice of compact spaces. Thus, we read Turing as believing that his machine relates computation to geometrical bodies. We simplify the perspex machine by substituting an augmented Euclidean geometry for projective geometry. This leads to a general-linear perspex-machine which is very much easier to pro-ram than the original perspex-machine. We then show how to map the whole of perspex space into a unit cube. This allows us to construct a fractal of perspex machines with the cardinality of a real-numbered line or space. This fractal is the universal perspex machine. It can solve, in unit time, the halting problem for itself and for all perspex machines instantiated in real-numbered space, including all Turing machines. We cite an experiment that has been proposed to test the physical reality of the perspex machine's model of time, but we make no claim that the physical universe works this way or that it has the cardinality of the perspex machine. We leave it that the perspex machine provides an upper bound on the computational properties of physical things, including manufactured computers and biological organisms, that have a cardinality no greater than the real-number line.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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’.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.