78 research outputs found
Branching Bisimilarity on Normed BPA Is EXPTIME-complete
We put forward an exponential-time algorithm for deciding branching
bisimilarity on normed BPA (Bacis Process Algebra) systems. The decidability of
branching (or weak) bisimilarity on normed BPA was once a long standing open
problem which was closed by Yuxi Fu. The EXPTIME-hardness is an inference of a
slight modification of the reduction presented by Richard Mayr. Our result
claims that this problem is EXPTIME-complete.Comment: We correct many typing errors, add several remarks and an interesting
toy exampl
Two Lower Bounds for BPA
Branching bisimilarity of normed Basic Process Algebra (nBPA) was claimed to be EXPTIME-hard in previous papers without any explicit proof. Recently it has been pointed out by Petr Jancar that the claim lacked proper justification. In this paper, we develop a new complete proof for the EXPTIME-hardness of branching bisimilarity of nBPA. We also prove that the associated regularity problem of nBPA is PSPACE-hard. This improves previous P-hard result
Synthesis of [11C]MK-1064 as a new PET radioligand for imaging of orexin-2 receptor
The reference standard MK-1064 {5″-chloro-N-((5,6-dimethoxypyridin-2-yl)methyl)-[2,2′:5′,3″-terpyridine]-3′-carboxamide} was synthesized from methyl 2-chloro-5-iodonicotinate and 5-(chloropyridin-3-yl)boronic acid in 4 steps with 33% overall chemical yield. The precursor desmethyl-MK-1064 {5″-chloro-N-((5-hydroxy-6-methoxypyridin-2-yl)methyl)-[2,2′:5′,3″-terpyridine]-3′-carboxamide} for radiolabeling was synthesized from 2-bromopyridin-3-ol and 5″-chloro-[2,2′:5′,3″-terpyridine]-3′-carboxylic acid in 6 steps with 17% overall chemical yield. The target tracer [11C]MK-1064 {5″-chloro-N-((5-[11C]methoxy-6-methoxypyridin-2-yl)methyl)-[2,2′:5′,3″-terpyridine]-3′-carboxamide} was prepared by O-[11C]methylation of its corresponding precursor desmethyl-MK-1064 with [11C]CH3OTf under basic condition and isolated by a simplified solid-phase extraction (SPE) method in 50–60% decay corrected radiochemical yields based on [11C]CO2 at end of bombardment (EOB). The overall synthesis time from EOB was 23 min, the radiochemical purity was >99%, and the specific activity at end of synthesis (EOS) was 185–555 GBq/μmol
Fully automated synthesis of [18F]T807, a PET tau tracer for Alzheimer’s disease
The authentic standard T807 and its nitro-precursor T807P as well as t-Boc-protected T807P precursor for radiolabeling were synthesized from (4-bromophenyl)boronic acid, 3-bromo-4-nitropyridine and 3-bromo-6-nitropyridine with overall chemical yield 27% in three steps, 4–7% in three to five steps, and 3–8% in four to five steps, respectively. [18F]T807 was synthesized from T807P by the nucleophilic [18F]fluorination with K[18F]F/Kryptofix 2.2.2 in DMSO at 140 °C followed by reduction with Fe powder/HCOOH through manual synthesis with 5–10% decay corrected radiochemical yield in two steps. [18F]T807 was also synthesized from t-Boc-protected T807P by a concurrent [18F]fluorination and deprotection with K[18F]F/Kryptofix 2.2.2 in DMSO at 140 °C and purified by HPLC-SPE method in a home-built automated [18F]radiosynthesis module with 20–30% decay corrected radiochemical yield in one step. The specific activity of [18F]T807 at end of bombardment (EOB) was 37–370 GBq/μmol
Synthesis of carbon-11-labeled isonicotinamides as new potential PET agents for imaging of GSK-3 enzyme in Alzheimer’s disease
The authentic standards 2-(cyclopropanecarboxamido)-N-(4-methoxypyridin-3-yl)isonicotinamide (4a) and 2-(cyclopropanecarboxamido)-N-(4-(4-methoxyphenyl)pyridin-3-yl)isonicotinamide (7a), and their corresponding precursors 2-(cyclopropanecarboxamido)-N-(4-hydroxypyridin-3-yl)isonicotinamide (4b) and 2-(cyclopropanecarboxamido)-N-(4-(4-hydroxyphenyl)pyridin-3-yl)isonicotinamide (7b) were synthesized from methyl 2-aminoisonicotinate and cyclopropanecarbonyl chloride with overall chemical yield 47% in three steps, 22% in four steps, 40% in three steps, and 17% in four steps, respectively. The target tracers 2-(cyclopropanecarboxamido)-N-(4-[11C]methoxypyridin-3-yl)isonicotinamide ([11C]4a) and 2-(cyclopropanecarboxamido)-N-(4-(4-[11C]methoxyphenyl)pyridin-3-yl)isonicotinamide ([11C]7a) were prepared from the precursors (4b and 7b) with [11C]CH3OTf through O-[11C]methylation and isolated by HPLC combined with SPE in 40–50% radiochemical yield, based on [11C]CO2 and decay corrected to end of bombardment (EOB). The radiochemical purity was >99%, and the specific activity (SA) at EOB was 370–1110 GBq/μmol with a total synthesis time of ∼40-min from EOB
Synthesis of carbon-11-labeled CK1 inhibitors as new potential PET radiotracers for imaging of Alzheimer’s disease
The reference standards methyl 3-((2,2-difluoro-5H-[1,3]dioxolo[4′,5′:4,5]benzo[1,2-d]imidazol-6-yl)carbamoyl)benzoate (5a) and N-(2,2-difluoro-5H-[1,3]dioxolo[4′,5′:4,5]benzo[1,2-d]imidazol-6-yl)-3-methoxybenzamide (5c), and their corresponding desmethylated precursors 3-((2,2-difluoro-5H-[1,3]dioxolo[4′,5′:4,5]benzo[1,2-d]imidazol-6-yl)carbamoyl)benzoic acid (6a) and N-(2,2-difluoro-5H-[1,3]dioxolo[4′,5′:4,5]benzo[1,2-d]imidazol-6-yl)-3-hydroxybenzamide (6b), were synthesized from 5-amino-2,2-difluoro-1,3-benzodioxole and 3-substituted benzoic acids in 5 and 6 steps with 33% and 11%, 30% and 7% overall chemical yield, respectively. Carbon-11-labeled casein kinase 1 (CK1) inhibitors, [11C]methyl 3-((2,2-difluoro-5H-[1,3]dioxolo[4′,5′:4,5]benzo[1,2-d]imidazol-6-yl)carbamoyl)benzoate ([11C]5a) and N-(2,2-difluoro-5H-[1,3]dioxolo[4′,5′:4,5]benzo[1,2-d]imidazol-6-yl)-3-[11C]methoxybenzamide ([11C]5c), were prepared from their O-desmethylated precursor 6a or 6b with [11C]CH3OTf through O-[11C]methylation and isolated by HPLC combined with SPE in 40–45% radiochemical yield, based on [11C]CO2 and decay corrected to end of bombardment (EOB). The radiochemical purity was >99%, and the molar activity (MA) at EOB was 370–740 GBq/μmol with a total synthesis time of ∼40-min from EOB
Synthesis of [11C]HG-10-102-01 as a new potential PET agent for imaging of LRRK2 enzyme in Parkinson’s disease
The reference standard (4-((5-chloro-4-(methylamino)pyrimidin-2-yl)amino)-3-methoxyphenyl)(morpholino)methanone (HG-10-102-01) and its precursor (4-((5-chloro-4-(methylamino)pyrimidin-2-yl)amino)-3-hydroxyphenyl)(morpholino)methanone (desmethyl-HG-10-102-01) were synthesized from 2,4,5-trichloropyrimide and 3-methoxy-4-nitrobenzoic acid with overall chemical yield 49% in four steps and 14% in five steps, respectively. The target tracer (4-((5-chloro-4-(methylamino)pyrimidin-2-yl)amino)-3-[11C]methoxyphenyl)(morpholino)methanone ([11C]HG-10-102-01) was prepared from the precursor desmethyl-HG-10-102-01 with [11C]CH3OTf through O-[11C]methylation and isolated by HPLC combined with SPE in 45–55% radiochemical yield, based on [11C]CO2 and decay corrected to end of bombardment (EOB). The radiochemical purity was >99%, and the specific activity (SA) at EOB was 370–1110 GBq/μmol with a total synthesis time of ∼40-min from EOB
Synthesis of a PET tau tracer [11C]PBB3 for imaging of Alzheimer’s disease
The authentic standard PBB3 and its precursor N-desmethyl-PBB3 as well as TBS-protected N-desmethyl-PBB3 precursor for radiolabeling were synthesized from 5-bromo-2-nitropyridine, acrolein diethyl acetal, 6-methoxy-2-methylbenzothiazole, and diethylchlorophosphate with overall chemical yield 1% in six steps, 2% in five steps, and 1% in six steps, respectively. [11C]PBB3 was prepared from either desmethyl-PBB3 or TBS-protected desmethyl-PBB3 with [11C]CH3OTf through N-[11C]methylation and isolated by HPLC combined with SPE in 20–25% and 15–20% radiochemical yield, respectively, based on [11C]CO2 and decay corrected to end of bombardment (EOB). The radiochemical purity was >99%, and the specific activity at EOB was 370–1110 GBq/μmol with a total synthesis time of ∼40-min from EOB
- …