State of the art issues in distributed databases (Panel Session)

1981 ◽  
Author(s):  
L. Rowe
Keyword(s):  
State Of The Art ◽  
Distributed Databases ◽  
Panel Session

First Course in Human Factors Engineering: What Should be Taught

1992 ◽  
Vol 36 (6) ◽  
pp. 561-562 ◽  
Author(s):  
Joseph H. Goldberg ◽  
Paul C. Champney ◽  
Keith S. Karn ◽  
Michael W. Riley ◽  
Brian Peacock
Keyword(s):  
Human Factors ◽  
Engineering Students ◽  
State Of The Art ◽  
Panel Member ◽  
Human Factors Engineering ◽  
Panel Session

Industry and academia often have differing desires in the introductory Human Factors education of engineering students. Industry seeks solutions to current problems, whereas academia can communicate state-of-the-art concepts without immediate application. This panel session united members of academia and industry for discussion of what topics and structure should underlie a one-semester, introductory, survey course in Human Factors Engineering. Each panel member expressed his opinion of what should be in such a course, followed by discussion aimed at achieving consensus of opinions.

The first ISCE board of [ldquo ]Trustees[rdquo ] overview panel session: Ischemia monitoring, state of the art

2002 ◽  
Vol 35 (4) ◽  
pp. 207 ◽  
Author(s):  
Mitchell W. Krucoff ◽  
David M. Mortara ◽  
Katherine J. Booker ◽  
Barbara J. Drew ◽  
Robert L. Lux ◽  
...  
Keyword(s):  
State Of The Art ◽  
Panel Session

Elle

2020 ◽  
Vol 14 (3) ◽  
pp. 268-280
Author(s):  
Kyle Kingsbury ◽  
Peter Alvaro
Keyword(s):  
State Of The Art ◽  
Distributed Databases ◽  
False Positives ◽  
Dependency Graph ◽  
Current State ◽  
Data Store

Users who care about their data store it in databases, which (at least in principle) guarantee some form of transactional isolation. However, experience shows that many databases do not provide the isolation guarantees they claim. With the recent proliferation of new distributed databases, demand has grown for checkers that can, by generating client workloads and injecting faults, produce anomalies that witness a violation of a stated guarantee. An ideal checker would be sound (no false positives), efficient (polynomial in history length and concurrency), effective (finding violations in real databases), general (analyzing many patterns of transactions), and informative (justifying the presence of an anomaly with understandable counterexamples). Sadly, we are aware of no checkers that satisfy these goals. We present Elle: a novel checker which infers an Adya-style dependency graph between client-observed transactions. It does so by carefully selecting database objects and operations when generating histories, so as to ensure that the results of database reads reveal information about their version history. Elle can detect every anomaly in Adya et al's formalism (except for predicates), discriminate between them, and provide concise explanations of each. This paper makes the following contributions: we present Elle, demonstrate its soundness over specific datatypes, measure its efficiency against the current state of the art, and give evidence of its effectiveness via a case study of four real databases.

Practical Picture Processing

1974 ◽  
Vol 32 ◽  
pp. 338-339
Author(s):  
T. A. Welton
Keyword(s):  
Radiation Damage ◽  
Coherence Length ◽  
Spatial Information ◽  
State Of The Art ◽  
Coherent Radiation ◽  
The State ◽  
Energy Spread ◽  
Electron Micrograph ◽  
Picture Processing ◽  
Molecular Skeleton

Various authors have emphasized the spatial information resident in an electron micrograph taken with adequately coherent radiation. In view of the completion of at least one such instrument, this opportunity is taken to summarize the state of the art of processing such micrographs. We use the usual symbols for the aberration coefficients, and supplement these with £ and 6 for the transverse coherence length and the fractional energy spread respectively. He also assume a weak, biologically interesting sample, with principal interest lying in the molecular skeleton remaining after obvious hydrogen loss and other radiation damage has occurred.

A Macintosh Interface for the Cameca Camebax-Micro Electron Microprobe

1990 ◽  
Vol 48 (1) ◽  
pp. 438-439
Author(s):  
Carl E. Henderson
Keyword(s):  
Electron Microprobe ◽  
Processing Speed ◽  
Word Processing ◽  
State Of The Art ◽  
Computer Control ◽  
Third Party ◽  
Disk Storage ◽  
The Past ◽  
User Facility ◽  
Instrument Control

Over the past few years it has become apparent in our multi-user facility that the computer system and software supplied in 1985 with our CAMECA CAMEBAX-MICRO electron microprobe analyzer has the greatest potential for improvement and updating of any component of the instrument. While the standard CAMECA software running on a DEC PDP-11/23+ computer under the RSX-11M operating system can perform almost any task required of the instrument, the commands are not always intuitive and can be difficult to remember for the casual user (of which our laboratory has many). Given the widespread and growing use of other microcomputers (such as PC’s and Macintoshes) by users of the microprobe, the PDP has become the “oddball” and has also fallen behind the state-of-the-art in terms of processing speed and disk storage capabilities. Upgrade paths within products available from DEC are considered to be too expensive for the benefits received. After using a Macintosh for other tasks in the laboratory, such as instrument use and billing records, word processing, and graphics display, its unique and “friendly” user interface suggested an easier-to-use system for computer control of the electron microprobe automation. Specifically a Macintosh IIx was chosen for its capacity for third-party add-on cards used in instrument control.

Sign in / Sign up

Export Citation Format

Share Document