500
570.47
1.14
459

Publication History View all

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: A human magician blends science, psychology, and performance to create a magical effect. In this paper we explore what can be achieved when that human intelligence is replaced or assisted by machine intelligence. Magical effects are all in some form based on hidden mathematical, scientific, or psychological principles; often the parameters controlling these underpinning techniques are hard for a magician to blend to maximize the magical effect required. The complexity is often caused by interacting and often conflicting physical and psychological constraints that need to be optimally balanced. Normally this tuning is done by trial and error, combined with human intuitions. Here we focus on applying Artificial Intelligence methods to the creation and optimization of magic tricks exploiting mathematical principles. We use experimentally derived data about particular perceptual and cognitive features, combined with a model of the underlying mathematical process to provide a psychologically valid metric to allow optimization of magical impact. In the paper we introduce our optimization methodology and describe how it can be flexibly applied to a range of different types of mathematics based tricks. We also provide two case studies as exemplars of the methodology at work: a magical jigsaw, and a mind reading card trick effect. We evaluate each trick created through testing in laboratory and public performances, and further demonstrate the real world efficacy of our approach for professional performers through sales of the tricks in a reputable magic shop in London.
    Frontiers in Psychology 11/2014; 5:1283. DOI:10.3389/fpsyg.2014.01283
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We show how two iterated products of selection functions can both be used in conjunction with system T to interpret, via the dialectica interpretation and modified realizability, full classical analysis. We also show that one iterated product is equivalent over system T to Spector's bar recursion, whereas the other is T-equivalent to modified bar recursion. Modified bar recursion itself is shown to arise directly from the iteration of a different binary product of "skewed" selection functions. Iterations of the dependent binary products are also considered but in all cases are shown to be T-equivalent to the iteration of the simple products.
    Journal of Symbolic Logic 07/2014; 80(01). DOI:10.1017/jsl.2014.82
  • [Show abstract] [Hide abstract]
    ABSTRACT: The energy consumption of the Internet accounts for approximately 1% of the world's total electricity usage, which may become one of the main constraints on its further growth. In response, we propose an evolutionary based dynamic energy management framework that reduces the overall energy consumption without degrading network performance. The main concept is to combine infrastructure sleeping with virtual router migration. During off-peak hours, the virtual routers are moved onto fewer physical platforms and the unused resources are placed in a sleep state to save energy. The sleeping physical platforms are then reawakened during busy periods. In particular, an evolutionary based algorithm called MOEA_VRM is developed to determine where to move the virtual routers in question. The algorithm is then evaluated using a multi-layer fluid flow event-driven simulator to assess its potential.
    06/2014; 4(2). DOI:10.1016/j.suscom.2014.03.001
  • [Show abstract] [Hide abstract]
    ABSTRACT: The graphical structure of a Bayesian network (BN) makes it a technology well-suited for developing decision support models from a combination of domain knowledge and data. The domain knowledge of experts is used to determine the graphical structure of the BN, corresponding to the relationships and between variables, and data is used for learning the strength of these relationships. However, the available data seldom match the variables in the structure that is elicited from experts, whose models may be quite detailed; consequently, the structure needs to be abstracted to match the data. Up to now, this abstraction has been informal, loosening the link between the final model and the experts’ knowledge. In this paper, we propose a method for abstracting the BN structure by using four ‘abstraction’ operations: node removal, node merging, state-space collapsing and edge removal. Some of these steps introduce approximations, which can be identified from changes in the set of conditional independence (CI) assertions of a network.
    Knowledge-Based Systems 05/2014; 62. DOI:10.1016/j.knosys.2014.02.020
  • [Show abstract] [Hide abstract]
    ABSTRACT: This Letter presents a method for making an uneven surface behave as a flat surface. This allows an object to be concealed (cloaked) under an uneven portion of the surface, without disturbing the wave propagation on the surface. The cloaks proposed in this Letter achieve perfect cloaking that only relies upon isotropic radially dependent refractive index profiles, contrary to those previously published. In addition, these cloaks are very thin, just a fraction of a wavelength in thickness, yet can conceal electrically large objects. While this paper focuses on cloaking electromagnetic surface waves, the theory is also valid for other types of surface waves. The performance of these cloaks is simulated using dielectric filled waveguide geometries, and the curvature of the surface is shown to be rendered invisible, hiding any object positioned underneath. Finally, a transformation of the required dielectric slab permittivity was performed for surface wave propagation, demonstrating the practical applicability of this technique.
    Physical Review Letters 11/2013; 111(21):213901. DOI:10.1103/PhysRevLett.111.213901
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Wearable and accompanied sensors and devices are increasingly being used for user activity recognition. However, typical GPS-based and accelerometer-based (ACC) methods face three main challenges: a low recognition accuracy; a coarse recognition capability, i.e., they cannot recognise both human posture (during travelling) and transportation mode simultaneously, and a relatively high computational complexity. Here, a new GPS and Foot-Force (GPS + FF) sensor method is proposed to overcome these challenges that leverages a set of wearable FF sensors in combination with GPS, e.g., in a mobile phone. User mobility activities that can be recognised include both daily user postures and common transportation modes: sitting, standing, walking, cycling, bus passenger, car passenger (including private cars and taxis) and car driver. The novelty of this work is that our approach provides a more comprehensive recognition capability in terms of reliably recognising both human posture and transportation mode simultaneously during travel. In addition, by comparing the new GPS + FF method with both an ACC method (62% accuracy) and a GPS + ACC based method (70% accuracy) as baseline methods, it obtains a higher accuracy (95%) with less computational complexity, when tested on a dataset obtained from ten individuals.
    Sensors 11/2013; 13(11):14918-53. DOI:10.3390/s131114918
  • [Show abstract] [Hide abstract]
    ABSTRACT: Many medical conditions are only indirectly observed through symptoms and tests. Developing predictive models for such conditions is challenging since they can be thought of as 'latent' variables. They are not present in the data and often get confused with measurements. As a result, building a model that fits data well is not the same as making a prediction that is useful for decision makers. In this paper, we present a methodology for developing Bayesian network (BN) models that predict and reason with latent variables, using a combination of expert knowledge and available data. The method is illustrated by a case study into the prediction of acute traumatic coagulopathy (ATC), a disorder of blood clotting that significantly increases the risk of death following traumatic injuries. There are several measurements for ATC and previous models have predicted one of these measurements instead of the state of ATC itself. Our case study illustrates the advantages of models that distinguish between an underlying latent condition and its measurements, and of a continuing dialogue between the modeller and the domain experts as the model is developed using knowledge as well as data.
    Journal of Biomedical Informatics 11/2013; 48. DOI:10.1016/j.jbi.2013.10.012
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We present a Bayesian network (BN) model for forecasting Association Football match outcomes. Both objective and subjective information are considered for prediction, and we demonstrate how probabilities transform at each level of model component, whereby predictive distributions follow hierarchical levels of Bayesian inference. The model was used to generate forecasts for each match of the 2011/2012 English Premier League (EPL) season, and forecasts were published online prior to the start of each match. Profitability, risk and uncertainty are evaluated by considering various unit-based betting procedures against published market odds. Compared to a previously published successful BN model, the model presented in this paper is less complex and is able to generate even more profitable returns.
    Knowledge-Based Systems 09/2013; 50:60–86. DOI:10.1016/j.knosys.2013.05.008
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper addresses the problem of non-rigid video registration, or the computation of optical flow from a reference frame to each of the subsequent images in a sequence, when the camera views deformable objects. We exploit the high correlation between 2D trajectories of different points on the same non-rigid surface by assuming that the displacement of any point throughout the sequence can be expressed in a compact way as a linear combination of a low-rank motion basis. This subspace constraint effectively acts as a trajectory regularization term leading to temporally consistent optical flow. We formulate it as a robust soft constraint within a variational framework by penalizing flow fields that lie outside the low-rank manifold. The resulting energy functional can be decoupled into the optimization of the brightness constancy and spatial regularization terms, leading to an efficient optimization scheme. Additionally, we propose a novel optimization scheme for the case of vector valued images, based on the dualization of the data term. This allows us to extend our approach to deal with colour images which results in significant improvements on the registration results. Finally, we provide a new benchmark dataset, based on motion capture data of a flag waving in the wind, with dense ground truth optical flow for evaluation of multi-frame optical flow algorithms for non-rigid surfaces. Our experiments show that our proposed approach outperforms state of the art optical flow and dense non-rigid registration algorithms.
    International Journal of Computer Vision 09/2013; 104(3):286-314. DOI:10.1007/s11263-012-0607-7
  • [Show abstract] [Hide abstract]
    ABSTRACT: How do human infants learn the causal dependencies between events? Evidence suggests that this remarkable feat can be achieved by observation of only a handful of examples. Many computational models have been produced to explain how infants perform causal inference without explicit teaching about statistics or the scientific method. Here, we propose a spiking neuronal network implementation that can be entrained to form a dynamical model of the temporal and causal relationships between events that it observes. The network uses spike-time dependent plasticity, long-term depression, and heterosynaptic competition rules to implement Rescorla-Wagner-like learning. Transmission delays between neurons allow the network to learn a forward model of the temporal relationships between events. Within this framework, biologically realistic synaptic plasticity rules account for well-known behavioral data regarding cognitive causal assumptions such as backwards blocking and screening-off. These models can then be run as emulators for state inference. Furthermore, this mechanism is capable of copying synaptic connectivity patterns between neuronal networks by observing the spontaneous spike activity from the neuronal circuit that is to be copied, and it thereby provides a powerful method for transmission of circuit functionality between brain regions.
    Cognitive Science A Multidisciplinary Journal 08/2013; DOI:10.1111/cogs.12073
Information provided on this web page is aggregated encyclopedic and bibliographical information relating to the named institution. Information provided is not approved by the institution itself. The institution’s logo (and/or other graphical identification, such as a coat of arms) is used only to identify the institution in a nominal way. Under certain jurisdictions it may be property of the institution.