Skip to search formSkip to main contentSkip to account menu

Community Z Tools

Known as: CZT 
The Community Z Tools (CZT) initiative is based around a SourceForge project to build a set of tools for the Z notation, a formal method useful in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Andrew Martin (computer scientist)FastestFormal methodsJava

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Growth and Characterization of CZT Crystals by the Vertical Bridgman Method for X-Ray Detector Applications
CdZnTe crystals were grown by the vertical Bridgman method in closed quartz ampoules. The crystalline quality and the impurity… 
2008
2008
A Monte Carlo Model for Energy Spectra Analysis in Dedicated Nuclear Breast Imaging
A Monte Carlo model for dedicated nuclear breast imaging was developed using the Monte Carlo N-particle (MCNP) code. The modeled… 
2007
2007
Characterization of Low-Defect ${\rm Cd}_{0.9}{\rm Zn}_{0.1}{\rm Te}$ and CdTe Crystals for High-Performance Frisch Collar Detectors
Low dislocation density, high-purity, and low inclusion concentration Cd0.9Zn0.1Te (CZT) and CdTe crystals were grown by a… 
2006
2006
Second-Generation, Tri-Modality Pre-Clinical Imaging System
A second-generation, tri-modality instrument, comprising PET, SPECT, and CT subsystems, for pre-clinical imaging is described… 
2006
2006
A New Architecture for Pixellated Solid State Gamma Camera Used in Nuclear Medicine
The purpose of this paper is to introduce a novel technique for acquiring and reconstructing planar or tomographic images… 
2006
2006
Issues in Implementing a Model Checker for Z
In this paper we discuss some issues in implementing a model checker for the Z specification language. In particular, the… 
2005
2005
CZT detectors read out with the RENA-2 ASIC
Multiple-site interactions initiated by Compton scattering are the primary interaction processes of gamma-rays in CZT in ~0.2… 
2005
2005
Twin shaping filter techniques to compensate the signals from CZT/CdTe detectors
A Gamma Ray Burst Monitor (GRBM) has been proposed to form part of the LOBSTER experiment, approved by ESA for a Phase A study… 
1997
1997
Characterization of bulk CdZnTe by IR transmission imaging
Performance and yield of CdZnTe (CZT) nuclear radiation detector arrays are sensitive to bulk defects introduced at all stages of… 
1990
1990
A novel implementation of a chirp Z-transform using a CORDIC processor
An efficient implementation of the chirp Z transform (CZT) using a CORDIC (coordinate rotation digital computer) processor is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)