Unification of the probe and singular sources methods for the inverse boundary value problem by the no-response test

In this article, we use the no-response test idea, introduced in Luke and Potthast (2003) and Potthast (Preprint) and the inverse obstacle problem, to identify the interface of the discontinuity of the coefficient gamma of the equation del (.) gamma(x)del + c(x) with piecewise regular gamma and bounded function c(x). We use infinitely many Cauchy data as measurement and give a reconstructive method to localize the interface. We will base this multiwave version of the no-response test on two different proofs. The first one contains a pointwise estimate as used by the singular sources method. The second one is built on an energy (or an integral) estimate which is the basis of the probe method. As a conclusion of this, the probe and the singular sources methods are equivalent regarding their convergence and the no-response test can be seen as a unified framework for these methods. As a further contribution, we provide a formula to reconstruct the values of the jump of gamma(x), x is an element of partial derivative D at the boundary. A second consequence of this formula is that the blow-up rate of the indicator functions of the probe and singular sources methods at the interface is given by the order of the singularity of the fundamental solution.

The theme that dare not speak its name: Geopolitik, geopolitics and German foreign policy since unification

The purpose of this chapter is to trace the emergence of a new security imaginary in the foreign policy discourse in Germany during the 1990s and to determine whether it constitutes a return of Geopolitik in German foreign policy making. Does the re- appearance of geopolitical terms and expressions in the official and the academic discourses in post-unification Germany indicate such a shift? The essay will argue that the claims about a return of Geopolitik cannot be sustained. To the extent that the rhetoric of German government officials changes during the 1990s, this does not produce a coherent geopolitical security imaginary that stands diametrically opposed to the definition of political and institutional spaces of the Bonner Republik.

Linear and nonlinear generalized Fourier transforms

This article presents an overview of a transform method for solving linear and integrable nonlinear partial differential equations. This new transform method, proposed by Fokas, yields a generalization and unification of various fundamental mathematical techniques and, in particular, it yields an extension of the Fourier transform method.

Unifying syntactic theory and sentence processing difficulty through a connectionist minimalist parser

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.

Contextual emergence of mental states from neurodynamics

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.

Perspex machine VII: The universal perspex machine

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.

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.