Learning Unions of Rectangles with Queries

We investigate the efficient learnability of unions of k rectangles in the discrete plane (1,...,n)[2] with equivalence and membership queries. We exhibit a learning algorithm that learns any union of k rectangles with O(k^3log n) queries, while the time complexity of this algorithm is bounded by O(k^5log n). We design our learning algorithm by finding "corners" and "edges" for rectangles contained in the target concept and then constructing the target concept from those "corners" and "edges". Our result provides a first approach to on-line learning of nontrivial subclasses of unions of intersections of halfspaces with equivalence and membership queries.

A General Theory of Semi-Unification

Various restrictions on the terms allowed for substitution give rise to different cases of semi-unification. Semi-unification on finite and regular terms has already been considered in the literature. We introduce a general case of semi-unification where substitutions are allowed on non-regular terms, and we prove the equivalence of this general case to a well-known undecidable data base dependency problem, thus establishing the undecidability of general semi-unification. We present a unified way of looking at the various problems of semi-unification. We give some properties that are common to all the cases of semi-unification. We also the principality property and the solution set for those problems. We prove that semi-unification on general terms has the principality property. Finally, we present a recursive inseparability result between semi-unification on regular terms and semi-unification on general terms.

Type Reconstruction in the Presence of Polymorphic Recursion and the Recursive Types

We establish the equivalence of type reconstruction with polymorphic recursion and recursive types is equivalent to regular semi-unification which proves the undecidability of the corresponding type reconstruction problem. We also establish the equivalence of type reconstruction with polymorphic recursion and positive recursive types to a special case of regular semi-unification which we call positive regular semi-unification. The decidability of positive regular semi-unification is an open problem.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

From Parallel Sequence Representations to Calligraphic Control: A Conspiracy of Neural Circuits

Calligraphic writing presents a rich set of challenges to the human movement control system. These challenges include: initial learning, and recall from memory, of prescribed stroke sequences; critical timing of stroke onsets and durations; fine control of grip and contact forces; and letter-form invariance under voluntary size scaling, which entails fine control of stroke direction and amplitude during recruitment and derecruitment of musculoskeletal degrees of freedom. Experimental and computational studies in behavioral neuroscience have made rapid progress toward explaining the learning, planning and contTOl exercised in tasks that share features with calligraphic writing and drawing. This article summarizes computational neuroscience models and related neurobiological data that reveal critical operations spanning from parallel sequence representations to fine force control. Part one addresses stroke sequencing. It treats competitive queuing (CQ) models of sequence representation, performance, learning, and recall. Part two addresses letter size scaling and motor equivalence. It treats cursive handwriting models together with models in which sensory-motor tmnsformations are performed by circuits that learn inverse differential kinematic mappings. Part three addresses fine-grained control of timing and transient forces, by treating circuit models that learn to solve inverse dynamics problems.

Neural Representations for Sensory-Motor Control I: Head-Centered 3-D Target Positions from Opponent Eye Commands

This article describes how corollary discharges from outflow eye movement commands can be transformed by two stages of opponent neural processing into a head-centered representation of 3-D target position. This representation implicitly defines a cyclopean coordinate system whose variables approximate the binocular vergence and spherical horizontal and vertical angles with respect to the observer's head. Various psychophysical data concerning binocular distance perception and reaching behavior are clarified by this representation. The representation provides a foundation for learning head-centered and body-centered invariant representations of both foveated and non-foveated 3-D target positions. It also enables a solution to be developed of the classical motor equivalence problem, whereby many different joint configurations of a redundant manipulator can all be used to realize a desired trajectory in 3-D space.

A Self-Organizing Neural Model of Motor Equivalent Reaching and Tool Use by a Multijoint Arm

This paper describes a self-organizing neural model for eye-hand coordination. Called the DIRECT model, it embodies a solution of the classical motor equivalence problem. Motor equivalence computations allow humans and other animals to flexibly employ an arm with more degrees of freedom than the space in which it moves to carry out spatially defined tasks under conditions that may require novel joint configurations. During a motor babbling phase, the model endogenously generates movement commands that activate the correlated visual, spatial, and motor information that are used to learn its internal coordinate transformations. After learning occurs, the model is capable of controlling reaching movements of the arm to prescribed spatial targets using many different combinations of joints. When allowed visual feedback, the model can automatically perform, without additional learning, reaches with tools of variable lengths, with clamped joints, with distortions of visual input by a prism, and with unexpected perturbations. These compensatory computations occur within a single accurate reaching movement. No corrective movements are needed. Blind reaches using internal feedback have also been simulated. The model achieves its competence by transforming visual information about target position and end effector position in 3-D space into a body-centered spatial representation of the direction in 3-D space that the end effector must move to contact the target. The spatial direction vector is adaptively transformed into a motor direction vector, which represents the joint rotations that move the end effector in the desired spatial direction from the present arm configuration. Properties of the model are compared with psychophysical data on human reaching movements, neurophysiological data on the tuning curves of neurons in the monkey motor cortex, and alternative models of movement control.

Justifying jihad: US politics, propaganda and the Afghan mujahedeen

Hard-line anti-communists in the United States recognised the potential for the Soviet invasion of Afghanistan in 1979 to embroil their super-power rival in a ‘Vietnam-like quagmire.’ Their covert operation to arm the mujahedeen is well documented. This dissertation argues that propaganda and public diplomacy were powerful and essential instruments of this campaign. It examines the protagonists of this strategy, their policies, initiatives and programmes offering a comprehensive analysis heretofore absent. It stretches from the dying days of the Carter administration when Zbigniew Brzezinski saw the ‘opportunity’ presented by the invasion to the Soviet’s withdrawal in 1989. The aim of these information strategies was to damage Soviet credibility and enhance that of the US, considered under threat from growing ‘moral equivalence’ amongst international publics. The conflict could help the US regain strategic advantage in South Asia undermined by the ‘loss’ of Iran. The Reagan administration used it to justify the projection of US military might that it believed was eviscerated under Carter and emasculated by the lingering legacy of Vietnam. The research engages with source material from the Reagan Presidential Library, the United States Information Agency archives and the Library of Congress as well as a number of online archives. The material is multi-archival and multi-media including documentaries, booklets, press conferences, summit programmes and news-clips as well as national security policy documents and contemporaneous media commentary. It concludes that propaganda and public diplomacy were integral to the Reagan administration and other mujahedeen supporters’ determination to challenge the USSR. It finds that the conflict was used to justify military rearmament, further strategic aims and reassert US power. These Cold War machinations had a considerable impact on the course of the conflict and undermined efforts at resolution and reconciliation with profound implications for the future stability of Afghanistan and the world.

Cross-cultural dimensions of meaning in the evaluation of events in world history? Perceptions of historical calamities and progress in cross-cultural data from 30 societies

The universality versus culture specificity of quantitative evaluations (negative-positive) of 40 events in world history was addressed using World History Survey data collected from 5,800 university students in 30 countries/societies. Multidimensional scaling using generalized procrustean analysis indicated poor fit of data from the 30 countries to an overall mean configuration, indicating lack of universal agreement as to the associational meaning of events in world history. Hierarchical cluster analysis identified one Western and two non-Western country clusters for which adequate multidimensional fit was obtained after item deletions. A two-dimensional solution for the three country clusters was identified, where the primary dimension was historical calamities versus progress and a weak second dimension was modernity versus resistance to modernity. Factor analysis further reduced the item inventory to identify a single concept with structural equivalence across cultures, Historical Calamities, which included man-made and natural, intentional and unintentional, predominantly violent but also nonviolent calamities. Less robust factors were tentatively named as Historical Progress and Historical Resistance to Oppression. Historical Calamities and Historical Progress were at the individual level both significant and independent predictors of willingness to fight for one’s country in a hierarchical linear model that also identified significant country-level variation in these relationships. Consensus around calamity but disagreement as to what constitutes historical progress is discussed in relation to the political culture of nations and lay perceptions of history as catastrophe.

The ranking of alternative tariff and quota policies in the presence of domestic monopoly

Bhagwati demonstrated the nonequivalence between tariffs and quotas in the presence of monopoly. This paper also assumes domestic production to be monopolized and shows that giving import licenses or tariff revenues to the domestic producer may raise or lower the welfare cost of protection and the price paid by consumers from the price under other tariff and quota arrangements which maintain the same market share for the domestic producer. However, if the monopolist realizes that commercial policy is an instrument used to maximize the policymaker's welfare function, instead of being a goal in itself, the equivalence of tariffs and quotas re-emerges. © 1977.

Entry and competition in generic biologics

Patents for several blockbuster biological products are expected to expire soon. The Food and Drug Administration is examining whether biologies can and should be treated like pharmaceuticals with regard to generics. In contrast with pharmaceuticals, which are manufactured through chemical synthesis, biologies are manufactured through fermentation, a process that is more variable and costly. Regulators might require extensive clinical testing of generic biologies to demonstrate equivalence to the branded product. The focus of the debate on generic biologies has been on legal and health concerns, but there are important economic implications. We combine a theoretical model of generic biologies with regression estimates from generic pharmaceuticals to estimate market entry and prices in the generic biologic market. We find that generic biologies will have high fixed costs from clinical testing and from manufacturing, so there will be less entry than would be expected for generic pharmaceuticals. With fewer generic competitors, generic biologies will be relatively close in price to branded biologies. Policy makers should be prudent in estimating financial benefits of generic biologies for consumers and payers. We also examine possible government strategies to promote generic competition. Copyright © 2007 John Wiley & Sons, Ltd.

Consistent couplings between fields with a gauge freedom and deformations of the master equation

The antibracket in the antifield-BRST formalism is known to define a map Hp × Hq → Hp + q + 1 associating with two equivalence classes of BRST invariant observables of respective ghost number p and q an equivalence class of BRST invariant observables of ghost number p + q + 1. It is shown that this map is trivial in the space of all functionals, i.e. that its image contains only the zeroth class. However, it is generically non-trivial in the space of local functionals. Implications of this result for the problem of consistent interactions among fields with a gauge freedom are then drawn. It is shown that the obstructions to constructing non-trivial such interactions lie precisely in the image of the antibracket map and are accordingly non-existent if one does not insist on locality. However consistent local interactions are severely constrained. The example of the Chern-Simons theory is considered. It is proved that the only consistent, local, Lorentz covariant interactions for the abelian models are exhausted by the non-abelian Chern-Simons extensions. © 1993.

A vertex-based finite volume method applied to non-linear material problems in computational solid mechanics

A vertex-based finite volume (FV) method is presented for the computational solution of quasi-static solid mechanics problems involving material non-linearity and infinitesimal strains. The problems are analysed numerically with fully unstructured meshes that consist of a variety of two- and threedimensional element types. A detailed comparison between the vertex-based FV and the standard Galerkin FE methods is provided with regard to discretization, solution accuracy and computational efficiency. For some problem classes a direct equivalence of the two methods is demonstrated, both theoretically and numerically. However, for other problems some interesting advantages and disadvantages of the FV formulation over the Galerkin FE method are highlighted.

Interactions between multiple large macrofauna species and nematode communities — Mechanisms for indirect impacts of trawling disturbance

Highlights •We exposed meiofauna to 7 different large macrofauna species at high and low densities. •Macrofauna presence altered nematode community structure and reduced their abundance. •Macrofauna species had similar effects by reducing the few dominant nematode species. •Meio–macrofauna resource competition and spatial segregation are the main drivers. •Trawling effects on macrofauna affect nematode communities indirectly. Diverse assemblages of infauna in sediments provide important physical and biogeochemical services, but are under increasing pressure by anthropogenic activities, such as benthic trawling. It is known that trawling disturbance has a substantial effect on the larger benthic fauna, with reductions in density and diversity, and changes in community structure, benthic biomass, production, and bioturbation and biogeochemical processes. Largely unknown, however, are the mechanisms by which the trawling impacts on the large benthic macro- and megafauna may influence the smaller meiofauna. To investigate this, a mesocosm experiment was conducted whereby benthic nematode communities from a non-trawled area were exposed to three different densities (absent, low, normal) of 7 large (> 10 mm) naturally co-occurring, bioturbating species which are potentially vulnerable to trawling disturbance. The results showed that total abundances of nematodes were lower if these large macrofauna species were present, but no clear nematode abundance effects could be assigned to the macrofauna density differences. Nematode community structure changed in response to macrofauna presence and density, mainly as a result of the reduced abundance of a few dominant nematode species. Any detectable effects seemed similar for nearly all macrofauna species treatments, supporting the idea that there may be a general indirect, macrofauna-mediated trawling impact on nematode communities. Explanations for these results may be, firstly, competition for food resources, resulting in spatial segregation of the meio- and macrobenthic components. Secondly, different densities of large macrofauna organisms may affect the nematode community structure through different intensities of bioturbatory disturbance or resource competition. These results suggest that removal or reduced densities of larger macrofauna species as a result of trawling disturbance may lead to increased nematode abundance and hints at the validity of interference competition between large macrofauna organisms and the smaller meiofauna, and the energy equivalence hypothesis, where a trade-off is observed between groups of organisms that are dependent on a common source of energy.

Neurobiological model of visuo-spatial cognition in young Williams Syndrome children: measures of dorsal-stream and frontal function

We examine hypotheses for the neural basis of the profile of visual cognition in young children with Williams syndrome (WS). These are: (a) that it is a consequence of anomalies in sensory visual processing; (b) that it is a deficit of the dorsal relative to the ventral cortical stream; (c) that it reflects deficit of frontal function, in particular of fronto-parietal interaction; (d) that it is related to impaired function in the right hemisphere relative to the left. The tests reported here are particularly relevant to (b) and (c). They form part of a more extensive programme of investigating visual, visuospatial, and cognitive function in large group of children with WS children, aged 8 months to 15 years. To compare performance across tests, avoiding floor and ceiling effects, we have measured performance in children with WS in terms of the ‘age equivalence’ for typically developing children. In this paper the relation between dorsal and ventral function was tested by motion and form coherence thresholds respectively. We confirm the presence of a subgroup of children with WS who perform particularly poorly on the motion (dorsal) task. However, such performance is also characteristic of normally developingchildren up to 5 years: thus the WS performance may reflect an overall persisting immaturity of visuospatial processing which is particularly evident in the dorsal stream. Looking at the performance on the global coherence tasks of the entire WS group, we find that there is also a subgroup who have both high form and motion coherence thresholds, relative to the performance of children of the same chronological age and verbal age on the BPVS, suggesting a more general global processing deficit. Frontal function was tested by a counterpointing task, ability to retrieve a ball from a ‘detour box’, and the Stroop-like ‘day-night’ task, all of which require inhibition of a familiar response. When considered in relation to overall development as indexed by vocabulary, the day-night task shows little specific impairment, the detour box shows a significant delay relative to controls, and the counterpointing task shows a marked and persistent deficit in many children. We conclude that frontal control processes show most impairment in WS when they are associated with spatially directed responses, reflecting a deficit of fronto-parietal processing. However, children with WS may successfully reduce the effect of this impairment by verbally mediated strategies. On all these tasks we find a range of difficulties across individual children and a small subset of WS who show very good performance, equivalent to chronological age norms of typically developing children. Neurobiological models of visuo-spatial cognition in children with WS p.4 Overall, we conclude that children with WS have specific processing difficulties with tasks involving frontoparietal circuits within the spatial domain. However, some children with WS can achieve similar performance to typically developing children on some tasks involving the dorsal stream, although the strategies and processing may be different in the two groups.