Results 181 to 190 of about 5,800 (215)
Some of the next articles are maybe not open access.
2005
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance ...
Tim Miller 0001 +3 more
openaire +2 more sources
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance ...
Tim Miller 0001 +3 more
openaire +2 more sources
Hierarchical microstructures in CZT
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 2011Advanced characterization tools, such as electron backscatter diffraction and transmitted IR microscopy, are being applied to study critical microstructural features and orientation relations in as-grown CZT crystals to aid in understanding the relation between structure and properties in radiation detectors.
S.K. Sundaram +7 more
openaire +1 more source
Software: Practice and Experience, 2011
AbstractCommunity Z Tools (CZT) is an open‐source Java framework for building formal methods tools for the specification language Z and extensions of Z. This paper gives an overview of CZT: its history, architecture, and development process. Extensibility is core to CZT and the main aims of this paper are to encourage and enable formal methods tool ...
openaire +1 more source
AbstractCommunity Z Tools (CZT) is an open‐source Java framework for building formal methods tools for the specification language Z and extensions of Z. This paper gives an overview of CZT: its history, architecture, and development process. Extensibility is core to CZT and the main aims of this paper are to encourage and enable formal methods tool ...
openaire +1 more source
System identification for the ECG using CZT
Computers and Biomedical Research, 1992A new approach for extraction of clinically useful parameters from the ECG signal is presented using the system identification technique of CZT on the DCT-transformed signal. A one to one relationship between the model singularities and the significant points in the time signal is arrived at.
Niranjan, UC, Murthy, ISN
openaire +2 more sources
The electrical characteristics of ITO/CZTS/ZnO/Al and ITO/ZnO/CZTS/Al heterojunction diodes
Optik, 2019 In this study, ITO/a-CZTS/ZnO1/Al, ITO/ZnO2/a-CZTS/Al and ITO/ZnO2/c-CZTS/Al diode structures were produced by PLD technique and analysed, as well as data are presented. a-CZTS and ZnO thin films were grown as layer by layer thin films on ITO coated glass at room temperature and annealing process was not carried out for these samples.
Serap Yigit Gezgin
exaly +4 more sources
Astrophysics and Space Science, 2001
DSRI has initiated a development program of CZT X-ray and gamma ray detectors employing strip readout techniques. A dramatic improvement of the energy response was found operating the detectors as so-called drift detectors. For the electronic readout, modern ASIC chips were investigated. Modular design and the low power electronics will make large area
C. Budtz-Jørgensen +6 more
openaire +1 more source
DSRI has initiated a development program of CZT X-ray and gamma ray detectors employing strip readout techniques. A dramatic improvement of the energy response was found operating the detectors as so-called drift detectors. For the electronic readout, modern ASIC chips were investigated. Modular design and the low power electronics will make large area
C. Budtz-Jørgensen +6 more
openaire +1 more source
Resistivity simulation of CZT materials
Journal of Crystal Growth, 1999Abstract Defects and the relations with the levels introduced in the gap are among the toughest remaining problems in II–VI semiconductors. Up to now, more than 30 levels have been detected without any clear identification and assignation for most of them. PICTS, TEES and TSC are well suited for such investigation, but not complete.
A Zumbiehl +8 more
openaire +1 more source
Fano Factor Determination For CZT
MRS Proceedings, 1997AbstractContinued improvements in the manufacturing of Cd1−xZnxTe (CZT) material have resulted in a practical thermoelectrically cooled X-ray and gamma-ray detector of very high energy resolution. A high resolution spectroscopy system was used to measure the Fano factor in CZT at temperatures down to -40°C.
R. H. Redus +5 more
openaire +1 more source
2018 International Semiconductor Conference (CAS), 2018
Two heterojunctions based on CU2ZnSnS4 were obtained as thin films, on FTO glass, by spray pyrolysis deposition. The choice of the n-type layer (TiO2 or ZnO) has impacted the nucleation and growth of the CZTS layers deposited on top. Crystalline thin films were obtained with drastically different morphologies.
M. Covei +4 more
openaire +1 more source
Two heterojunctions based on CU2ZnSnS4 were obtained as thin films, on FTO glass, by spray pyrolysis deposition. The choice of the n-type layer (TiO2 or ZnO) has impacted the nucleation and growth of the CZTS layers deposited on top. Crystalline thin films were obtained with drastically different morphologies.
M. Covei +4 more
openaire +1 more source
Studies of CZT for PET Applications
IEEE Nuclear Science Symposium Conference Record, 2005, 2006CdZnTe (CZT) has been investigated by several researchers as a detector material for positron emission tomography (PET) applications. CZT detectors can be manufactured into 1 cm3 or larger detectors with pixelated anodes, providing high spatial resolution at the 1 mm level or smaller.
P. Vaska +7 more
openaire +1 more source