Loading…
Large-scale automated synthesis of human functional neuroimaging data
Yarkoni, Tal, Poldrack, Russell A, Nichols, Thomas E, Van Essen, David C, Wager, Tor D
Published in Nature methods (01.08.2011)
Published in Nature methods (01.08.2011)
Get full text
Journal Article
Loading…
Loading…
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Cai, Zhuo, Farokhnia, Soroush, Goharshady, Amir Kafshdar, Hitarth, S.
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Loading…
Loading…
Unusual Coupling Reactions of Aldehydes and Alkynes: A Novel Preparation of Substituted Phthalic Acid Derivatives by Automated Synthesis
Jacobi von Wangelin, Axel, Neumann, Helfried, Gördes, Dirk, Klaus, Stefan, Jiao, Haijun, Spannenberg, Anke, Krüger, Thomas, Wendler, Christian, Thurow, Kerstin, Stoll, Norbert, Beller, Matthias
Published in Chemistry : a European journal (23.05.2003)
Published in Chemistry : a European journal (23.05.2003)
Get full text
Journal Article
Loading…
Optimized State Space Grids for Abstractions
Weber, Alexander, Rungger, Matthias, Reissig, Gunther
Published in IEEE transactions on automatic control (01.11.2017)
Published in IEEE transactions on automatic control (01.11.2017)
Get full text
Journal Article
Loading…
Loading…
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation
Ellman, Thomas, Deak, Ryan, Fotinatos, Jason
Published in Automated software engineering (01.10.2003)
Published in Automated software engineering (01.10.2003)
Get full text
Journal Article
Loading…
Loading…
Apparatus for automated synthesis
APON JUNEFREDO FAJARDO, BARR ROY LEWIS, BUSH STEVEN RUSSELL, BAIGA THOMAS JAMES, ROTH GREGORY PAUL
Year of Publication 31.01.2006
Get full text
Year of Publication 31.01.2006
Patent
Loading…
Apparatus for automated synthesis
APON JUNEFREDO FAJARDO, BARR ROY LEWIS, BUSH STEVEN RUSSELL, BAIGA THOMAS JAMES, ROTH GREGORY PAUL
Year of Publication 20.01.2005
Get full text
Year of Publication 20.01.2005
Patent
Loading…
Automated Synthesis of Long Communication Delays for Testing
Get full text
Magazine Article
Trade Publication Article
Loading…
cGMP Synthesis of Sodium-Iodide Symporter (NIS) Probe ^sup 18^F-Tetrafluoroborate (^sup 18^F-TFB) and Biodistribution in Healthy Male and Female Human Subjects
Jiang, Huailei, Schmit, Nicholas, Koenen, Alex, Glynn, Robert, Pandey, Mukesh, Kemp, Brad, Delaney, Kera, Dispenzieri, Angela, Bakkum-Gamez, Jamie, Peng, Kah-WHye, Russell, Stephen, Lowe, Val, DeGrado, Timothy
Published in The Journal of nuclear medicine (1978) (01.05.2017)
Get full text
Published in The Journal of nuclear medicine (1978) (01.05.2017)
Journal Article
Loading…
A facile, stereoselective, one-pot synthesis of resveratrol derivatives
Birar, Vishal C, Sheerin, Angela N, Milkovicova, Jana, Faragher, Richard G A, Ostler, Elizabeth L
Published in BMC chemistry (20.05.2015)
Published in BMC chemistry (20.05.2015)
Get full text
Journal Article
Loading…
Improved, one‐pot synthesis of 6‐[18F]fluorodopamine and quality control testing for use in patients with neuroblastoma
Vāvere, Amy L., Neumann, Kiel D., Butch, Elizabeth R., Hu, Bao, DiMagno, Stephen G., Snyder, Scott E.
Published in Journal of labelled compounds & radiopharmaceuticals (01.12.2018)
Published in Journal of labelled compounds & radiopharmaceuticals (01.12.2018)
Get full text
Journal Article
Loading…
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
Jha, Susmit, Raman, Vasumathi, Sadigh, Dorsa, Seshia, Sanjit A.
Published in Journal of automated reasoning (01.01.2018)
Published in Journal of automated reasoning (01.01.2018)
Get full text
Journal Article