Formal specification of graphical notations and graphical software tools

2006 ◽  
pp. 297-305 ◽  
Author(s):  
Sharam Hekmatpour ◽  
Mark Woodman
Keyword(s):  
Formal Specification ◽  
Software Tools ◽  
Graphical Notations

Detection, Averaging, and 3D Reconstruction of Biological Specimens on Hypercubes (Transputer-based) Computers

1990 ◽  
Vol 48 (1) ◽  
pp. 454-455
Author(s):  
Jose-Maria Carazo ◽  
I. Benavides ◽  
S. Marco ◽  
J.L. Carrascosa ◽  
E.L. Zapata
Keyword(s):  
3D Reconstruction ◽  
3D Structure ◽  
Three Dimensional ◽  
Software Tools ◽  
Mapping Method ◽  
Computer Architectures ◽  
Parallel Computer ◽  
Reconstruction Process ◽  
Computing Power ◽  
Order Of Magnitude

Obtaining the three-dimensional (3D) structure of negatively stained biological specimens at a resolution of, typically, 2 - 4 nm is becoming a relatively common practice in an increasing number of laboratories. A combination of new conceptual approaches, new software tools, and faster computers have made this situation possible. However, all these 3D reconstruction processes are quite computer intensive, and the middle term future is full of suggestions entailing an even greater need of computing power. Up to now all published 3D reconstructions in this field have been performed on conventional (sequential) computers, but it is a fact that new parallel computer architectures represent the potential of order-of-magnitude increases in computing power and should, therefore, be considered for their possible application in the most computing intensive tasks.We have studied both shared-memory-based computer architectures, like the BBN Butterfly, and local-memory-based architectures, mainly hypercubes implemented on transputers, where we have used the algorithmic mapping method proposed by Zapata el at. In this work we have developed the basic software tools needed to obtain a 3D reconstruction from non-crystalline specimens (“single particles”) using the so-called Random Conical Tilt Series Method. We start from a pair of images presenting the same field, first tilted (by ≃55°) and then untilted. It is then assumed that we can supply the system with the image of the particle we are looking for (ideally, a 2D average from a previous study) and with a matrix describing the geometrical relationships between the tilted and untilted fields (this step is now accomplished by interactively marking a few pairs of corresponding features in the two fields). From here on the 3D reconstruction process may be run automatically.

Formal Specification and Design

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

Software tools to support task-based operational test and evaluation

1999 ◽  
Author(s):  
Deborah A. Mitta ◽  
Amy L. Mykityshyn
Keyword(s):  
Software Tools ◽  
Test And Evaluation ◽  
Operational Test ◽  
Operational Test And Evaluation

Editorial: The formal specification of interactive systems

1996 ◽  
Vol 11 (6) ◽  
pp. 322 ◽  
Author(s):  
M.D. Harrison
Keyword(s):  
Formal Specification ◽  
Interactive Systems

Serie: Innovative IT-Projekte: Asklepios Qualitätsmonitor

2016 ◽  
Vol 21 (10) ◽  
pp. 48-49
Author(s):  
Guntram Doelfs
Keyword(s):  
Software Tools

Bei Asklepios wissen Manager und Chefärzte dank eines Software-Tools immer genau, wie es aktuell um die Qualität in allen Kliniken des Konzerns bestellt ist. Im Interview schildert Projektmanager Stefan Kruse die Vorteile der IT-Lösung.

Authentication of Digital Image using Exif Metadata and Decoding Properties

2018 ◽  
pp. 335-341 ◽  
Author(s):  
D. P. Gangwar ◽  
Anju Pathania
Keyword(s):  
Digital Image ◽  
Digital Images ◽  
Software Tools ◽  
Robust Analysis

This work presents a robust analysis of digital images to detect the modifications/ morphing/ editing signs by using the image’s exif metadata, thumbnail, camera traces, image markers, Huffman codec and Markers, Compression signatures etc. properties. The details of the whole methodology and findings are described in the present work. The main advantage of the methodology is that the whole analysis has been done by using software/tools which are easily available in open sources.

Lebenszyklusanalysen mit modernen Software-Tools

Controlling ◽  
2002 ◽  
Vol 14 (1) ◽  
pp. 25-30 ◽  
Author(s):  
Yvette Hahne ◽  
Hans Schmitz ◽  
Andreas Vetter
Keyword(s):  
Software Tools

F1_Tenth_Course_Report_Group_C

2018 ◽  
Author(s):  
Yi Chen ◽  
Sagar Manglani ◽  
Roberto Merco ◽  
Drew Bolduc
Keyword(s):  
Operating System ◽  
Autonomous Driving ◽  
Software Tools ◽  
Simulation Environment ◽  
Robot Operating System ◽  
Available Information

In this paper, we discuss several of major robot/vehicle platforms available and demonstrate the implementation of autonomous techniques on one such platform, the F1/10. Robot Operating System was chosen for its existing collection of software tools, libraries, and simulation environment. We build on the available information for the F1/10 vehicle and illustrate key tools that will help achieve properly functioning hardware. We provide methods to build algorithms and give examples of deploying these algorithms to complete autonomous driving tasks and build 2D maps using SLAM. Finally, we discuss the results of our findings and how they can be improved.

Sign in / Sign up

Export Citation Format

Share Document