Filters: Collection: "ir_uspace" Year Start: 1970
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 126 |
 |
Mallat, Chibli | A Federal Israel-Palestine: Ending 100 Years of Civil War in the Holy Land? | What if we substitute a federal Israel-Palestine for the two-state solution deadlock? | 2010-09-17 | |
| 127 |
 |
Mallat, Chibli | A Federal Israel-Palestine: Nonviolence and Law to End the 100-year Civil War | In the first part of this study, the deadlock in Israel-Palestine was presented as a 100-year civil war. New realities on the ground, as well as visionary calls for a united state, instead of partitioning the land at a heavy human cost, have come from leading US thinkers, notably Tony Judt and Seyla... | 2010-09-23 | |
| 128 |
 |
Sutherland, James Clayton | A filter-independent model identification technique for turbulent combustion modeling | In this paper, we address a method to reduce the number of species equations that must be solved via application of Principal Component Analysis (PCA). This technique provides a robust methodology to reduce the number of species equations by identifying correlations in state-space and defining new v... | 2012-01-01 | |
| 129 |
 |
Gerig, Guido | A framework for longitudinal data analysis via shape regression | Traditional longitudinal analysis begins by extracting desired clinical measurements, such as volume or head circumference, from discrete imaging data. Typically, the continuous evolution of a scalar measurement is estimated by choosing a 1D regression model, such as kernel regression or fitting a p... | 2012-01-01 | |
| 130 |
 |
Lindstrom, Gary E. | A framework for module-based language processors | A system composed of interconnected modules is a module-based system. We present an object-oriented (0-0) framework for the development of processors for module-based systems, such as compilers for 0-0 languages, linkers/loaders, and tools for user/system libraries. We claim t h a t this framework,... | Language processors; Jigsaw; Module-based | 1993 |
| 131 |
 |
Michell, Nick | A gallium arsenide mutual exclusion element | A mutual exclusion element is a key component in building asynchronous and self-timed circuits. As part of our effort to design high performance self-timed circuits, we have designed a mutual exclusion element in gallium arsenide. This circuit has been fabricated in a 1.2? process and tested. A test... | Mutual exclusion element; Self-timed circuits | 1993 |
| 132 |
 |
Mathew, Binu K.; Davis, Al; Fang, Zhen | A Gaussian probability accelerator for SPHINX 3 | Accurate real-time speech recognition is not currently possible in the mobile embedded space where the need for natural voice interfaces is clearly important. The continuous nature of speech recognition coupled with an inherently large working set creates significant cache interference with other... | Speech recognition; SPHINX 3; Speech recognizers | 2003-07-22 |
| 133 |
 |
Gopalakrishnan, Ganesh | A general compositional approach to verifying hierarchical cache coherence protocols | Modern chip multiprocessor (CMP) cache coherence protocols are extremely complex and error prone to design. Modern symbolic methods are unable to provide much leverage for this class of examples. In [1], we presented a method to verify hierarchical and inclusive versions of these protocols using ... | Hierarchical cache coherence protocols; Verification | 2006-11-26 |
| 134 |
 |
Sobh, Tarek M. | A general review, graphical environment, and applications for discrete event and hybrid systems in Robotics and Automation | 1994 | ||
| 135 |
 |
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | A generic operational memory model specification framework for multithreaded program verification | Given the complicated nature of modern architectural and language level memory model designs, it is vital to have a systematic ap- proach for specifying memory consistency requirements that can support verification and promote understanding. In this paper, we develop a spec- ification methodolog... | Multithreaded program verification | 2003 |
| 136 |
 |
Kerber, Richard A. | A genome-wide study replicates linkage of 3p22-24 to extreme longevity in humans and identifies possible additional loci | Background: Although there is abundant evidence that human longevity is heritable, efforts to map loci responsible for variation in human lifespan have had limited success. Methodology/Principal Findings: We identified individuals from a large multigenerational population database (the Utah Populati... | 2012-01-01 | |
| 137 |
 |
Tasdizen, Tolga; Whitaker, Ross T. | A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditions | The inhomogeneous Laplace (Poisson) equation with internal Dirichlet boundary conditions has recently appeared in several applications to image processing and analysis. Although these approaches have demonstrated quality results, the computational burden of solution demands an efficient solver. Desi... | 2005 | |
| 138 |
 |
Von Arnim, Rudiger Lennart | A global model of recovery and rebalancing | This paper presents an investigation of global recovery from the great recession and rebalancing of global external imbalances, using a global model of sixteen countries and composite regions. The model applies to the short run, and only to the real side. Key features are demand-driven output determ... | 2010-01-01 | |
| 139 |
 |
Arnim, Rudiger von | A global model of recovery and rebalancing | This paper presents an investigation of global recovery from the Great Recession and the rebalancing of global external imbalances, using a global model of 16 countries and composite regions. The model applies to the short term and only to the real side. Key features are demand-driven output determi... | Global imbalances; great recession; global model | 2012-08-01 |
| 140 |
 |
Lefohn, Aaron; Whitaker, Ross T. | A GPU-based, three-dimensional level set solver with curvature flow | Level set methods are a powerful tool for implicitly representing deformable surfaces. Since their inception, these techniques have been used to solve prob- lems in fields as varied as computer vision, scientific visualization, computer graphics and computational physics. With the power and flexi... | GPU-based; Level set solver | 2002-12-11 |
| 141 |
 |
Sobh, Tarek M. | A graphical environment and applications for discrete event and hybrid systems in robotics and automation | In this paper we present an overview for the development of a graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of di... | Intelligent system domain; Graphical environment | 1994 |
| 142 |
 |
Khan, Faisal Habib | A high-efficiency modular switched-capacitor converter with continuously variable conversion ratio | The multilevel modular capacitor clamped converter (MMCCC) topology overcomes the difficulties of the multilevel switched capacitor (SC) based dc-to-dc converters in high conversion ratio applications. MMCCC is completely modular and has many other advantageous features. Like most other SC converter... | 2012-01-01 | |
| 143 |
 |
Mastrangelo, Carlos H. | A high-resolution flexible tactile imager system based on floating comb electrodes | Flexible high-resolution contact force imagers are needed in many applications for robotic grippers and gait analysis, but its intrinsic intimate contact requirement often causes breaking of top metallization layers and failure in a short time. The use of floating electrodes has significantly improv... | 2012-01-01 | |
| 144 |
 |
Furse, Cynthia M. | A history & future of implantable antennas | Implantable antennas have been used for communication with medical implants for decades. This paper traces their roots from early transcutaneous inductively coupled devices to the microstrip and wire antennas in use today. A suggestion for where this technology may go in the future as medical device... | 2014-01-01 | |
| 145 |
 |
Cohen, Elaine | A hole-filling algorithm for triangular meshes | Data obtained by scanning 3D models typically contains missing pieces and holes. These can be caused due to scanning artifacts or artifacts in the surface due to wear and tear. We provide a method based on the Moving Least Squares projection to fill holes in triangular meshes obtained during the ... | Hole-filling algorithm; Triangular meshes; 3D models; Scanning | 2004-12-20 |
| 146 |
 |
Gerig, Guido | A joint framework for 4D segmentation and estimation of smooth temporal appearance changes | Medical imaging studies increasingly use longitudinal images of individual subjects in order to follow-up changes due to development, degeneration, disease progression or efficacy of therapeutic intervention. Repeated image data of individuals are highly correlated, and the strong causality of infor... | 2014-01-01 | |
| 147 |
 |
Codding, Brian F. | A land of work: foraging behavior and ecology | Work is a core theme in many of the major issues and debates in California archaeology. Work is central in understanding why the first Californians entered the region (e.g., Erlandson, this volume): how thousands of years of work following colonization resulted in the overexploitation of particular ... | Human behavioral ecology; Hunter-gatherer; North America: California | 2012-03-15 |
| 148 |
 |
Mallat, Chibli | A legal manifesto for the Lebanese Cabinet: Justice for Rafik Hariri and Moussa Sadr | Last week I pleaded for a legal manifesto for Irans Green Revolution. I am arguing this week for a judicial manifesto for the Lebanese Cabinet. I have no illusions. The turgid governmental manifesto, like the Arab Leagues declarations, will read as a litany of bullet points where each of the plet... | 2009-07-09 | |
| 149 |
 |
Kraus, Peter L. | A librarian runs for political office (or Cincinnatus looks outside the Ivory Tower) | Librarians have long been activists for social and political causes outside of their profession; however, few take the crucial step and actually run for political office at the local, state, or national level. In March 2014, after being involved in local and state politics for over ten years and ... | 2015-08-23 | |
| 150 |
 |
Starkey, Mike | A lisp-based occam interpreter | The OCCAM programming language is an implementation of Communicating Sequential Processes and is used in a number of different areas. These areas usually require explicitly describing small-grain paralleslism. OCCAM programs formed by such descriptions can be tested for correctness by executing the... | Lisp-based; Occam interpreter | 1991 |