Semantic Scholar uses AI to extract papers important to this topic.
One of the most important control problems is control under heavy uncertainty conditions. While there are a number of… Expand SUPERFLIP is a computer program that can solve crystal structures from diffraction data using the recently developed charge… Expand Abstract A 10-km diameter crater named Zunil in the Cerberus Plains of Mars created ∼ 10 7 secondary craters 10 to 200 m in… Expand Visualization Handbook Section One: Introduction by Johnson and Hansen Chapter 1. Overview of Visualization by Schroeder Section… Expand Invited Contributions.- Branching vs. Linear Time: Final Showdown.- Propositional Reasoning.- Symbolic Verification.- Language… Expand 1. Introduction Suzanne Kemmer and Michael Barlow 2. A dynamic usage-based model Ronald W. Langacker 3. The phonology of the… Expand Constructive technology assessment (CTA) is a member of the family of technology assessment approaches. developed in particular… Expand This document1 contains definitions of a wide range of concepts specific to and widely used within temporal databases. In… Expand Presents an algorithm for performing view-dependent simplifications of a triangulated polygonal model in real-time. The… Expand We present a domain-independent model of hierarchical software system design and construction that is based on interchangeable… Expand