Browsing by Title
Now showing items 2998-3017 of 4790
-
On turbulence driven by axial precession and tidal evolution of the spin–orbit angle of close-in giant planets
(Oxford University PressMonthly Notices of the Royal Astronomical Society, 2016-05-16)The spin axis of a rotationally deformed planet is forced to precess about its orbital angular momentum vector, due to the tidal gravity of its host star, if these directions are misaligned. This induces internal fluid ...
-
On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
(2006-11-09)This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically ...
-
On Verifying a File System Implementation
(2004-05-06)We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed-size disk blocks. We prove the implementation correct ...
-
On Villani's conjecture concerning entropy production for the Kac Master equation
(America Institute of Mathematical SciencesKinetic and Related Models, 2011-06-01)In this paper we take an idea presented in recent paper by Carlen, Carvalho, Le Roux, Loss, and Villani ([3]) and push it one step forward to find an exact estimation on the entropy production. The new estimation essentially ...
-
On Visual Detection of Light Sources
(1975-05-01)The paper addresses the following problem: Given an array of light intensities obtained from some scene, find the light sources in the original scene. The following factors are discussed from the point of view of their ...
-
On vortex rings impacting a sharply-stratified interface
(University of CambridgeDepartment of Applied Mathematics and Theoretical PhysicsHughes Hall, 2017-06-14)This thesis presents an investigation into the dynamics of vortex rings impacting a sharply-stratified density interface. This problem has a long history and is important for understanding how individual eddies in stratified ...
-
One Child's Learning: Introducing Writing with a Computer
(1980-03-01)This is a case study of how one child learned to write in a computer-rich setting. Although computer access did affect her learning significantly, the details presented here go beyond supporting that claim. They provide ...
-
One Clock to Rule Them All: A Primitive for Distributed Wireless Protocols at the Physical Layer
(2014-04-27)Implementing distributed wireless protocols at the physical layer today is challenging because different nodes have different clocks, each of which has slightly different frequencies. This causes the nodes to have frequency ...
-
One System for Two Tasks: A Commonsense Algorithm Memory that Solves Problems and Comprehends Language
(MIT Artificial Intelligence Laboratory, 1975-11)Plan synthesis and language comprehension, or more generally, the act of discovering how one perception relates to others, are two sides of the same coin, because they both rely on a knowledge of cause and effect - algorithmic ...
-
One Video Stream to Serve Diverse Receivers
(2008-10-18)The fundamental problem of wireless video multicast is to scalably serve multiple receivers which may have very different channel characteristics. Ideally, one would like to broadcast a single stream that allows each ...
-
One-Shot Learning with a Hierarchical Nonparametric Bayesian Model
(2010-10-13)We develop a hierarchical Bayesian model that learns to learn categories from single training examples. The model transfers acquired knowledge from previously learned categories to a novel category, in the form of a prior ...
-
Online Active Learning in Practice
(2007-01-23)We compare the practical performance of several recently proposed algorithms for active learning in the online setting. We consider two algorithms (and their combined variants) that are strongly online, in that they do ...
-
Online Learning of Non-stationary Sequences
(2003-06-12)We consider an online learning scenario in which the learner can make predictions on the basis of a fixed set of experts. The performance of each expert may change over time in a manner unknown to the learner. We formulate ...
-
Online Learning of Non-stationary Sequences
(2005-11-17)We consider an online learning scenario in which the learner can make predictions on the basis of a fixed set of experts. We derive upper and lower relative loss bounds for a class of universal learning algorithms involving ...
-
ONTIC: A Knowledge Representation System for Mathematics
(1987-07-01)Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical ...
-
Oort: User-Centric Cloud Storage with Global Queries
(2016-12-08)In principle, the web should provide the perfect stage for user-generated content, allowing users to share their data seamlessly with other users across services and applications. In practice, the web fragments a user's ...
-
An open source model for teaching environments incorporating wireless devices
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2007)Attempts have been made at bridging the digital divide in schools using desktop PC systems without much success. As a result many computer laboratories sit empty. There are many reasons for these failures. Often there are ...
-
Open Systems
(1982-12-01)This paper describes some problems and opportunities associated with conceptual modeling for the kind of "open systems" we foresee must and will be increasingly recognized as a central line of computer system development. ...
-
OpenTuner: An Extensible Framework for Program Autotuning
(2013-11-01)Program autotuning has been shown to achieve better or more portable performance in a number of domains. However, autotuners themselves are rarely portable between projects, for a number of reasons: using a domain-informed ...
-
An Operating Environment for the Jellybean Machine
(1988-05-01)The Jellybean Machine is a scalable MIMD concurrent processor consisting of special purpose RISC processors loosely coupled into a low latency network. I have developed an operating system to provide the supportive ...