Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

2014 ◽  
Author(s):  
Doron Drusinsky
Keyword(s):  
Formal Specification ◽  
Computer Aided ◽  
Behavioral Requirements

Computer-aided methods for 3-D visualization of serial sections and thick biological specimens

1992 ◽  
Vol 50 (2) ◽  
pp. 1060-1061
Author(s):  
Mark Ellisman ◽  
Maryann Martone ◽  
Gabriel Soto ◽  
Eleizer Masliah ◽  
David Hessler ◽  
...  
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Three Dimensional ◽  
Neuritic Plaque ◽  
Dimensional Structure ◽  
Data Sets ◽  
Molecular Physiology ◽  
Research Activities ◽  
Computer Aided ◽  
Dimensional Reconstruction

Structurally-oriented biologists examine cells, tissues, organelles and macromolecules in order to gain insight into cellular and molecular physiology by relating structure to function. The understanding of these structures can be greatly enhanced by the use of techniques for the visualization and quantitative analysis of three-dimensional structure. Three projects from current research activities will be presented in order to illustrate both the present capabilities of computer aided techniques as well as their limitations and future possibilities.The first project concerns the three-dimensional reconstruction of the neuritic plaques found in the brains of patients with Alzheimer's disease. We have developed a software package “Synu” for investigation of 3D data sets which has been used in conjunction with laser confocal light microscopy to study the structure of the neuritic plaque. Tissue sections of autopsy samples from patients with Alzheimer's disease were double-labeled for tau, a cytoskeletal marker for abnormal neurites, and synaptophysin, a marker of presynaptic terminals.

Three-Dimensional Subcellular Organization of Hepatocytes in Intact Liver: Simultaneous Visualization of Cytoskeletal and Membrane Markers by Confocal Microscopy

1996 ◽  
Vol 54 ◽  
pp. 288-289
Author(s):  
Greg V. Martin ◽  
Ann L. Hubbard
Keyword(s):  
Three Dimensional ◽  
Integral Membrane Proteins ◽  
Polarized Secretion ◽  
Microscope Images ◽  
Computer Aided ◽  
Intracellular Organelles ◽  
Cytoskeletal Elements ◽  
Simultaneous Visualization

The microtubule (MT) cytoskeleton is necessary for many of the polarized functions of hepatocytes. Among the functions dependent on the MT-based cytoskeleton are polarized secretion of proteins, delivery of endocytosed material to lysosomes, and transcytosis of integral plasma membrane (PM) proteins. Although microtubules have been shown to be crucial to the establishment and maintenance of functional and structural polarization in the hepatocyte, little is known about the architecture of the hepatocyte MT cytoskeleton in vivo, particularly with regard to its relationship to PM domains and membranous organelles. Using an in situ extraction technique that preserves both microtubules and cellular membranes, we have developed a protocol for immunofluorescent co-localization of cytoskeletal elements and integral membrane proteins within 20 µm cryosections of fixed rat liver. Computer-aided 3D reconstruction of multi-spectral confocal microscope images was used to visualize the spatial relationships among the MT cytoskeleton, PM domains and intracellular organelles.

Computer aided detection

2002 ◽  
Vol 38 (11) ◽  
pp. S39
Author(s):  
E Azavedo
Keyword(s):  
Computer Aided Detection ◽  
Computer Aided

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

The development of computer-aided careers guidance systems: a response to closs

1994 ◽  
Vol 22 (2) ◽  
pp. 279-283
Author(s):  
R.P. Pierce-Price ◽  
J.S. Corscaden
Keyword(s):  
Computer Aided ◽  
Guidance Systems

Technology or Talk: The Efficacy of Computer-Aided Psychotherapy

PsycCRITIQUES ◽  
2007 ◽  
Vol 52 (44) ◽  
Author(s):  
Benjamin M. Ogles
Keyword(s):  
Computer Aided
Sign in / Sign up

Export Citation Format

Share Document