Automated synthesis of stochastic computational elements using decision procedures

Author(s):  
Amad Ul Hassen ◽  
Brigadesh Chandrasekar ◽  
Sumit Kumar Jha
1993 ◽  
Vol 58 (s1) ◽  
pp. 204-208 ◽  
Author(s):  
Andres Jäschke ◽  
Jens P. Fürste ◽  
Dieter Cech ◽  
Volker A. Erdmann

2019 ◽  
Vol 61 (6) ◽  
pp. 748-753
Author(s):  
D. O. Antuganov ◽  
D. V. Ryzhkova ◽  
V. V. Timofeev ◽  
T. A. Zykova ◽  
Yu. O. Antuganova ◽  
...  

1991 ◽  
Vol 15 (3-4) ◽  
pp. 255-274
Author(s):  
Rohit Parikh

We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.


2017 ◽  
Vol 45 (1) ◽  
pp. 661-675
Author(s):  
Daniel Lustig ◽  
Andrew Wright ◽  
Alexandros Papakonstantinou ◽  
Olivier Giroux

Author(s):  
Anup Gangwar ◽  
Nitin Kumar Agarwal ◽  
Ravishankar Sreedharan ◽  
Ambica Prasad ◽  
Sri Harsha Gade ◽  
...  

2020 ◽  
pp. 437-456
Author(s):  
Laura Bruton ◽  
Peter J.H. Scott
Keyword(s):  

Biomolecules ◽  
2021 ◽  
Vol 11 (8) ◽  
pp. 1118
Author(s):  
Emma Jussing ◽  
Stefan Milton ◽  
Erik Samén ◽  
Mohammad Mahdi Moein ◽  
Lovisa Bylund ◽  
...  

By using solid targets in medical cyclotrons, it is possible to produce large amounts of 68GaCl3. Purification of Ga3+ from metal ion impurities is a critical step, as these metals compete with Ga3+ in the complexation with different chelators, which negatively affects the radiolabeling yields. In this work, we significantly lowered the level of iron (Fe) impurities by adding ascorbate in the purification, and the resulting 68GaCl3could be utilized for high-yield radiolabeling of clinically relevant DOTA-based tracers. 68GaCl3 was cyclotron-produced and purified with ascorbate added in the wash solutions through the UTEVA resins. The 68Ga eluate was analyzed for radionuclidic purity (RNP) by gamma spectroscopy, metal content by ICP-MS, and by titrations with the chelators DOTA, NOTA, and HBED. The 68GaCl3eluate was utilized for GMP-radiolabeling of the DOTA-based tracers DOTATOC and FAPI-46 using an automated synthesis module. DOTA chelator titrations gave an apparent molar activity (AMA) of 491 ± 204 GBq/µmol. GMP-compliant syntheses yielded up to 7 GBq/batch [68Ga]Ga-DOTATOC and [68Ga]Ga-FAPI-46 (radiochemical yield, RCY ~ 60%, corresponding to ten times higher compared to generator-based productions). Full quality control (QC) of 68Ga-labelled tracers showed radiochemically pure and stable products at least four hours from end-of-synthesis.


1993 ◽  
Vol 18 (2-4) ◽  
pp. 163-182
Author(s):  
Alexander Leitsch

It is investigated, how semantic clash resolution can be used to decide some classes of clause sets. Because semantic clash resolution is complete, the termination of the resolution procedure on a class Γ gives a decision procedure for Γ. Besides generalizing earlier results we investigate the relation between termination and clause complexity. For this purpose we define the general concept of atom complexity measure and show some general results about termination in terms of such measures. Moreover, rather than using fixed resolution refinements we define an algorithmic generator for decision procedures, which constructs appropriate semantic refinements out of the syntactical structure of the clause sets. This method is applied to the Bernays – Schönfinkel class, where it gives an efficient (resolution) decision procedure.


Sign in / Sign up

Export Citation Format

Share Document