scholarly journals Greedy Heuristics for Automatic Synthesis of Efficient Block-Structured Scheduling Processes from Declarative Specifications

2018 ◽  
pp. 183-195 ◽  
Author(s):  
Amelia Bădică ◽  
Costin Bădică ◽  
Daniela Dănciulescu ◽  
Doina Logofătu
Keyword(s):  
Greedy Heuristics ◽  
Automatic Synthesis ◽  
Block Structured ◽  
Declarative Specifications

scholarly journals Unifying execution of imperative generators and declarative specifications

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-26
Author(s):  
Pengyu Nie ◽  
Marinela Parovic ◽  
Zhiqiang Zang ◽  
Sarfraz Khurshid ◽  
Aleksandar Milicevic ◽  
...  
Keyword(s):  
Declarative Specifications

Algorithmic Logic with Recursive Functions

1981 ◽  
Vol 4 (4) ◽  
pp. 975-995
Author(s):  
Andrzej Szałas
Keyword(s):  
Completeness Theorem ◽  
Inference Rules ◽  
Partial Correctness ◽  
Recursive Functions ◽  
Algorithmic Logic ◽  
Block Structured

A language is considered in which the reader can express such properties of block-structured programs with recursive functions as correctness and partial correctness. The semantics of this language is fully described by a set of schemes of axioms and inference rules. The completeness theorem and the soundness theorem for this axiomatization are proved.

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.

scholarly journals AMReX: Block-structured adaptive mesh refinement for multiphysics applications

2021 ◽  
pp. 109434202110228
Author(s):  
Weiqun Zhang ◽  
Andrew Myers ◽  
Kevin Gott ◽  
Ann Almgren ◽  
John Bell
Keyword(s):  
Adaptive Mesh Refinement ◽  
Mesh Refinement ◽  
Computational Cost ◽  
Adaptive Mesh ◽  
Uniform Mesh ◽  
Physical Processes ◽  
Structured Adaptive Mesh Refinement ◽  
Core Elements ◽  
Accelerator Design ◽  
Block Structured

Block-structured adaptive mesh refinement (AMR) provides the basis for the temporal and spatial discretization strategy for a number of Exascale Computing Project applications in the areas of accelerator design, additive manufacturing, astrophysics, combustion, cosmology, multiphase flow, and wind plant modeling. AMReX is a software framework that provides a unified infrastructure with the functionality needed for these and other AMR applications to be able to effectively and efficiently utilize machines from laptops to exascale architectures. AMR reduces the computational cost and memory footprint compared to a uniform mesh while preserving accurate descriptions of different physical processes in complex multiphysics algorithms. AMReX supports algorithms that solve systems of partial differential equations in simple or complex geometries and those that use particles and/or particle–mesh operations to represent component physical processes. In this article, we will discuss the core elements of the AMReX framework such as data containers and iterators as well as several specialized operations to meet the needs of the application projects. In addition, we will highlight the strategy that the AMReX team is pursuing to achieve highly performant code across a range of accelerator-based architectures for a variety of different applications.

Sign in / Sign up

Export Citation Format

Share Document