Mobile traffic is expected to grow tenfold by 2019, topping 24 exabytes of monthly traffic and accounting for nearly half of all Internet traffic. This growth is driven by the increasing number of smart phones and tablets, and the data demands of high bandwidth services enabled by next-generation cellular networks...
Humans routinely answer questions, make decisions, and provide explanations in the face of incomplete knowledge and time constraints. From everyday questions like "What will it cost to take that vacation?" to policy questions like "How can a carbon taxing scheme affect climate change?" we often do not have all the...
Machine learning and symbolic reasoning have been two main approaches to build intelligent systems. Symbolic reasoning has been used in many applications by making use of expressive symbolic representations to encode prior knowledge, conduct complex reasoning and provide explanations. Recently, machine learning has enabled various successful applications by learning from...
Raytracing is a long-established means to simulate physically accurate light propagation. Increasing availability and power of highly-parallel computing, such as cloud-based clusters and dedicated graphics hardware, means that rendering algorithms can produce high resolution output very quickly. This means raytracing can now be used as a forward model in optimization...
This work presents a cognitive model of argument structure construction acquisition and application based on analogy. The claims of this model are that (1) constructions, pairings of form and meaning, are a productive unit of linguistic analysis that account for a broader range of phenomena than traditional approaches; (2) human...
Neural networks have revolutionized the field of computer vision since they provide solutions to a number of previously unsolved problems and achieve promising performance both in terms of accuracy and computational efficiency. It has increasingly become recognized as providing high performance for applications as diverse as image classification, object detection,...
"The goal of our research has been to create software that extends the benefits of virtual reality
(VR) to mathematics education. We report on the design and evaluation of a VR application meant
to support students’ reasoning about objects in three-dimensional (3D) coordinate systems and to
explore the possibilities of...
Modern cosmological simulations are some of the world's largest and most demanding numerical computations that are run on state-of-the-art supercomputers. The codes use N-body and mesh-based methods in gravity-only solvers, and both Lagrangian and Eulerian schemes to model gas dynamics. Even complex astrophysical effects such as of star formation and...
Social media such as Twitter has risen as a powerful new communication medium for disseminating information on news, personal interests, experiences, and opinions. On social media, people talk about their lifestyle, health conditions and symptoms, search information on treatment options, and connect with people who have been through similar medical...
Understanding electrical circuits can be difficult for novices of all ages (Grotzer & Sudbury, 2000; Osborne, 1983; Shipstone, 1984; Tarciso Borges, 1999). Research shows that novices tend to have inadequate understandings of what happens at the level of atoms and electrons, leading to difficulty predicting the outcomes of electrical circuits...