Browsing Faculty of Arts and Sciences by Keyword "algorithms"
Now showing items 1-20 of 25
-
Abstract Shade Trees
(Association for Computing Machinery, 2006)As GPU-powered special effects become more sophisticated, it becomes harder to create and manage effect interaction using the fairly primitive shading languages. This difficulty also introduces a workflow problem: artists ... -
Algorithms and Models for Genome Biology
(2014-02-25)New advances in genomic technology make it possible to address some of the most fundamental questions in biology for the first time. They also highlight a need for new approaches to analyze and model massive amounts of ... -
Collective Decision-Making in Multi-Agent Systems by Implicit Leadership
(Association for Computing Machinery Press, 2010)Coordination within decentralized agent groups frequently requires reaching global consensus, but typical hierarchical approaches to reaching such decisions can be complex, slow, and not fault-tolerant. By contrast, recent ... -
Cube-3: A Real-Time Architecture for High-Resolution Volume Visualization
(Association for Computing Machinery, 1994)This paper describes a high-performance special-purpose system, Cube-3, for displaying and manipulating high- resolution volumetric datasets in real-time. A primary goal of Cube-3 is to render 512^3, 16-bit per ... -
Distributed Decision-making Algorithms for Inspection by Autonomous Robot Collectives
(2022-05-15)Inspection is a ubiquitous challenge, from bridges to farm fields to space stations. These tasks are typically dirty, dull, and dangerous, making them ideal candidates for automation. Researchers have already begun to ... -
Empirical Bayes Analysis of Quantitative Proteomics Experiments
(Public Library of Science, 2009)Background: Advances in mass spectrometry-based proteomics have enabled the incorporation of proteomic data into systems approaches to biology. However, development of analytical methods has lagged behind. Here we describe ... -
Evaluating Value-Graph Translation Validation for LLVM
(2011-03-22)Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing trans- lation validators do so by trying to match the value-graphs of an original function and ... -
Evolution of In-Group Favoritism
(Nature Publishing Group, 2012)In-group favoritism is a central aspect of human behavior. People often help members of their own group more than members of other groups. Here we propose a mathematical framework for the evolution of in-group favoritism ... -
Evolvability
(Association of Computing Machinery, 2009)Living organisms function in accordance with complex mechanisms that operate in different ways depending on conditions. Darwin's theory of evolution suggests that such mechanisms evolved through variation guided by natural ... -
Expressiveness and robustness of first-price position auctions
(Association for Computing Machinery, 2015)Since economic mechanisms are often applied to very different instances of the same problem, it is desirable to identify mechanisms that work well in a wide range of circumstances. We pursue this goal for a position auction ... -
Faster Quantum Chemistry Simulation on Fault-Tolerant Quantum Computers
(Institute of Physics, 2012)Quantum computers can in principle simulate quantum physics exponentially faster than their classical counterparts, but some technical hurdles remain. We propose methods which substantially improve the performance of a ... -
Finding long chains in kidney exchange using the traveling salesman problem
(Proceedings of the National Academy of Sciences, 2015)There are currently more than 100,000 patients on the waiting list in the United States for a kidney transplant from a deceased donor. To address this shortage, kidney exchange programs allow patients with living incompatible ... -
Forward modeling in the era of cosmological surveys
(2022-05-12)The distribution of matter on small scales is highly dependent on the exact composition of the Universe and as such, holds the key to the nature of many of its enigmatic ingredients such as dark energy, neutrinos, and dark ... -
Hybrid Transitive Trust Mechanisms
(International Foundation for Autonomous Agents and Multiagent Systems, 2010)Establishing trust amongst agents is of central importance to the development of well-functioning multi-agent systems. For example, the anonymity of transactions on the Internet can lead to inefficiencies; e.g., a seller ... -
Incentive Design for Adaptive Agents
(International Foundation for Autonomous Agents and Multiagent Systems, 2011)We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief about the value for each action—which may ... -
Incorporating Helpful Behavior into Collaborative Planning
(Springer Verlag, 2009)This paper considers the design of agent strategies for deciding whether to help other members of a group with whom an agent is engaged in a collaborative activity. Three characteristics of collaborative planning must be ... -
A New Understanding of Prediction Markets Via No-Regret Learning
(Association for Computing Machinery, 2010)We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any cost function based prediction market can be ... -
Noise-skipping Earley parsing and in-order tree extraction from shared packed parse forests
(2021-04-08)In this thesis, I identify 3 shortcomings of state of the art Earley parsing and offer a unified, end-to-end Earley parsing algorithm which remedies these shortcomings. In particular I address the following issues: 1. The ... -
On the Sybil-Proofness of Accounting Mechanisms
(Association for Computing Machinery, 2011)A common challenge in distributed work systems like P2P file-sharing communities, or ad-hoc routing networks, is to minimize the number of free-riders and incentivize contributions. Without any centralized monitoring it is ... -
Online Mechanism Design for Electric Vehicle Charging
(International Foundation for Autonomous Agents and Multiagent Systems, 2011)Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommodate capacity constraints. We design a novel ...