|
|
Creator | Title | Description | Subject | Date |
1 |
|
Kasera, Sneha K.; Patwari, Neal | Mobility Assisted Secret Key Generation | Signature Based Key Generation. Wireless link signature; multiple paths caused by radio waves; their measurements are good signatures of links; link signatures measured almost symmetrically at two ends of wireless link, but cannot be measured from another location; use for secret key establishment;... | | |
2 |
|
Joshi, Sarang; Venkatasubramanian, Suresh | Matching shapes using the current distance | Current Distance: It was introduced by Vaillant and Glaunès as a way of comparing shapes (point sets, curves, surfaces). This distance measure is defined by viewing a shape as a linear operator on a k-form field, and constructing a (dual) norm on the space of shapes. Shape Matching: Given two s... | | |
3 |
|
Regehr, John; Pagariya, Rohit Pannalalji | Direct equivalence testing | Testing embedded software is difficult. • Further complicated by presence of memory and type safety errors in software. • Compiler contain various known bugs. Developers are skeptical to upgrade the compilers. • Is your embedded software affected by memory safety and compilation erro... | | |
4 |
|
Tripathi, Abhishek; Bremer, Peer-Timo; Pascucci, Valerio | Understanding global climate change | What is Climate Modeling? Use of quantitative methods to simulate the interactions of the atmosphere, oceans, land surface, and ice. Average Global Temperatures indicate a warming trend but that alone does not explain why it is happening. | | |
5 |
|
Nguyen, Hoa Thanh; Nguyen, Thanh Hoang; Freire, Juliana | DeepPeep: A Form Search Engine | We present DeepPeep (http://www.deeppeep.org), a new search engine specialized in Web forms. DeepPeep uses a scalable infrastructure for discovering, organizing and analyzing Web forms which serve as entry points to hidden-Web sites. DeepPeep provides an intuitive interface that allows users t... | | |
6 |
|
Evans, David | Introduction to computer concepts | | | |
7 |
|
Johnson, Christopher R. | Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Method | One type of inverse problems in electrocardiography (ECG) is to non-invasively reconstruct epicardial electric potentials from body-surface measurements. We study how to design the finite element discretization of such problem, so as to optimize the conditioning and stability of the resulting num... | | |
8 |
|
Pascucci, Valerio | Morse theory and its application | Discussion of Morse Theory | Morse; Morse-Smale; Topology; Algorithms; Terrain; Analysis | |
9 |
|
Kumar, Sidharth; Pascucci, Valerio | Remote visualization | Generalized Architecture and pipeline for a remote site | | |
10 |
|
Widanagamaachchi, Wathsala Nayomi; Pascucci, Valerio | Image registration | Image Registration is the process of overlaying two or more images of the same scene, taken at different times, from different viewpoints and/or by different sensors. | | |
11 |
|
Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John | Finding compiler bugs with random testing | Undefined behavior (such as divide by 0) or unspecified behavior (such as order of evaluation) gives compilers freedom to diverge, causing failure to our voting mechanism Control Flow Analysis • a control flow analyzer that can handle abnormal edges created by jump statements (goto / break ... | | |
12 |
|
Pugsley, Seth H; Spjut, Josef Bo; Nellans, David W; Balasubramonian, Rajeev | SWEL: hardware cache coherence protocols to map shared data onto shared caches | In chip multiprocessors, replication of cache lines is allowed to reduce the latency each core has to access a cache line. Because of this replication, it is possible for one copy of data to become out of date if another copy of that data is modified. How a MESI protocol accomplishes this: ? K... | | |
13 |
|
Gilbert, Nathan Alan; Riloff, Ellen M. | Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolution | Coreference resolution is the task of identifying coreferent expressions in text. Accurate coreference resolution can improve other tasks such as machine translation, information retrievel and document summarization. Currently, the best approaches involve some form of supervised Machine Learni... | | |
14 |
|
Bhatia, Harsh; Jadhav, Shreeraj Digambar; Norgard, Greg; Bremer, Peer-Timo; Pascucci, Valerio | Helmholtz-Hodge Decomposition of vector fields on 2-manifolds | A Morse-like Decomposition ? - Morse-Smale decomposition for gradient (of scalar) fields is an interesting way of decomposing the domain into regions of unidirectional flow (from a source to a sink ). - But works for gradient fields, which are conservative (irrotational), only. - Can such a de... | | |
15 |
|
Evans, David | Graphical man/machine communications: November 1966 | Semiannual progress report for period ending 30 November, 1966. | | 1966-11 |
16 |
|
Evans, David | Graphical man/machine communications: May 1967 | Semiannual technical report for period ending 15 May, 1967. | | 1967-05 |
17 |
|
Evans, David | Improving communication between man and computers: some recent developments | | | 1967-10-11 |
18 |
|
Warnock, John E. | A hidden line algorithm for halftone picture representation | In exploring applications in computer graphics, one finds quickly that the representation of three dimensional objects in picture form is both a desirable and necessary capability. Applications dealing with any form of spatial design or with visual environment simulation need the ability to represen... | Halftone picture representation; Spatial design | 1968 |
19 |
|
Evans, David | Graphical man/machine communications: November 1968 | Semi-Annual Technical Report 1 June - 30 November 1968 | | 1968 |
20 |
|
Evans, David | Graphical man/machine communications: February 1968 | Technical report No. RADC - TR - 68 - 90 for the period ending 30 November, 1967. Two classes of research activities are being conducted. One is research in information processsing system technology. The other is researach in application of interactive computing technology to the solution of severa... | Fluid flow problems | 1968-02 |
21 |
|
Evans, David | Graphical man/machine communications: May 1969 | Semi-Annual Technical Report 1 December 1968 - 30 May 1969 | | 1969-05 |
22 |
|
Evans, David | Graphical man/machine communications: November 1969 | Semi-Annual Technical Report 1 June 1969 - 30 November 1969 | | 1969-11 |
23 |
|
Watkins, Gary Scott | A real time visible surface algorithm | With the increasing use of computer graphics, a need is growing for a processor capable of displaying solid objects. Environmental simulation and architectural modeling are only two areas that would benefit from such a diplay processor. This dissertation describes an algorithm designed for such a ... | Surface algorithm | 1970 |
24 |
|
Logan, Nelson Stanley | Master schedule building and the flexibly scheduled school | This paper contains a model of a technique for increasing the quality of educational and instructional opportunity for all students. This model is developed around the flexible or modularly scheduled secondary school. Also included is a procedure containing a computer program, with which the adminis... | Flexible scheduling; Flexibly scheduled school; Modularly scheduled school | 1970 |
25 |
|
Wehrli, Robert | ARCAID: The ARChitects computer graphics AID | ARCAID?The ARChitect's Computer Graphics AID?is one part of a two-part research program at the University of Utah under the direction of David C. Evans. ARCAID is a specification for the organization of computer processes including data and procedures for the use of architects, engineers, and other... | ARCAID | 1970 |