A design language for automatic synthesis of fault trees

1999 ◽  
Author(s):  
K. Kumar Vemuri ◽  
J.B. Dugan ◽  
K.J. Sullivan
Keyword(s):  
Automatic Synthesis ◽  
Fault Trees ◽  
Design Language

Automatic synthesis of fault trees for computer-based systems

1999 ◽  
Vol 48 (4) ◽  
pp. 394-402 ◽  
Author(s):  
K.K. Vemuri ◽  
J.B. Dugan ◽  
K.J. Sullivan
Keyword(s):  
Automatic Synthesis ◽  
Fault Trees ◽  
Computer Based

CAT: a computer code for the automated construction of fault trees. [In FORTRAN]

1978 ◽  
Author(s):  
G. E. Apostolakis ◽  
S. L. Salem ◽  
J. S. Wu
Keyword(s):  
Computer Code ◽  
Fault Trees

Ada Design Language Developers Matrixr

1990 ◽  
Vol X (8) ◽  
pp. 34
Author(s):  
Judy Kerner
Keyword(s):  
Design Language

Automatic synthesis of optimal invariant assertions

1977 ◽  
Vol 12 (8) ◽  
pp. 1-12 ◽  
Author(s):  
Patrick Cousot ◽  
Radhia Cousot
Keyword(s):  
Automatic Synthesis

scholarly journals Standardization of the [68Ga]Ga-PSMA-11 Radiolabeling Protocol in an Automatic Synthesis Module: Assessments for PET Imaging of Prostate Cancer

2021 ◽  
Vol 14 (5) ◽  
pp. 385
Author(s):  
Leonardo L. Fuscaldi ◽  
Danielle V. Sobral ◽  
Ana Claudia R. Durante ◽  
Fernanda F. Mendonça ◽  
Ana Cláudia C. Miranda ◽  
...  
Keyword(s):  
Prostate Cancer ◽  
Pet Imaging ◽  
Saline Solution ◽  
Serum Proteins ◽  
Single Photon ◽  
Imaging Techniques ◽  
Photon Emission ◽  
Emission Computed Tomography ◽  
Lncap Cells ◽  
Automatic Synthesis

Prostate-specific membrane antigen (PSMA) is a glycoprotein present in the prostate, that is overexpressed in prostate cancer (PCa). Recently, PSMA-directed radiopharmaceuticals have been developed, allowing the pinpointing of tumors with the Positron Emission Tomography (PET) or Single Photon Emission Computed Tomography (SPECT) imaging techniques. The aim of the present work was to standardize and validate an automatic synthesis module-based radiolabeling protocol for [68Ga]Ga-PSMA-11, as well as to produce a radiopharmaceutical for PET imaging of PCa malignancies. [68Ga]Ga-PSMA-11 was evaluated to determine the radiochemical purity (RCP), stability in saline solution and serum, lipophilicity, affinity to serum proteins, binding and internalization to lymph node carcinoma of the prostate (LNCaP) cells, and ex vivo biodistribution in mice. The radiopharmaceutical was produced with an RCP of 99.06 ± 0.10%, which was assessed with reversed-phase high-performance liquid chromatography (RP-HPLC). The product was stable in saline solution for up to 4 h (RCP > 98%) and in serum for up to 1 h (RCP > 95%). The lipophilicity was determined as −3.80 ± 0.15, while the serum protein binding (SPB) was <17%. The percentages of binding to LNCaP cells were 4.07 ± 0.51% (30 min) and 4.56 ± 0.46% (60 min), while 19.22 ± 2.73% (30 min) and 16.85 ± 1.34% (60 min) of bound material was internalized. High accumulation of [68Ga]Ga-PSMA-11 was observed in the kidneys, spleen, and tumor, with a tumor-to-contralateral-muscle ratio of >8.5 and a tumor-to-blood ratio of >3.5. In conclusion, an automatic synthesis module-based radiolabeling protocol for [68Ga]Ga-PSMA-11 was standardized and the product was evaluated, thus verifying its characteristics for PET imaging of PCa tumors in a clinical environment.

Ada design language/CASE developers matrix

1993 ◽  
Vol XIII (6) ◽  
pp. 37-55
Author(s):  
Judy Kerner
Keyword(s):  
Design Language
Sign in / Sign up

Export Citation Format

Share Document