„Program synthesis“

Suchergebnisse

662 Treffer

• On the synthesis of function inverses
  Harrison, P. G. ; Khoshnevisan, H.
• Tolerance synthesis adopting a nonlinear programming approach
  Bryan, Ngoi Kok Ann ; Michael, Seow Mgaw Seng
• Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
  Batz, Kevin ; Biskup, Tom Jannik ; Katoen, Joost-Pieter ; Winkler, Tobias 2024 Universitätsbibliothek der RWTH Aachen
• Functional sulfur-containing compounds. 3. Algorithmic formulation of synthesis programs for finding compounds with assigned properties
  Derzhinskii, A. R. ; Kochetkov, N. K. ; Nekhoroshev, S. A. ; Piottukh-Peletskii, V. N.
• Diphosphine‐Protected IrAu 12 Superatom with Open Site (s): Synthesis and Programmed Stepwise Assembly
  Fukumoto, Yuto ; Omoda, Tsubasa ; Hirai, Haru ; Takano, Shinjiro ; Harano, Koji ; Tsukuda, Tatsuya
• Diphosphine‐Protected IrAu 12 Superatom with Open Site (s): Synthesis and Programmed Stepwise Assembly
  Fukumoto, Yuto ; Omoda, Tsubasa ; Hirai, Haru ; Takano, Shinjiro ; Harano, Koji ; Tsukuda, Tatsuya
• ChemInform Abstract: Programmed Synthesis of Tetraarylthiophenes Through Sequential C—H Arylation.
  Yanagisawa, Shuichi ; Ueda, Kirika ; Sekizawa, Hiromi ; Itami, Kenichiro
• ChemInform Abstract: Programmed Synthesis of Arylthiazoles Through Sequential C—H Couplings.
  Tani, Satoshi ; Uehara, Takahiro N. ; Yamaguchi, Junichiro ; Itami, Kenichiro
• ChemInform Abstract: Synthesis and Characterization of Hexaarylbenzenes with Five or Six Different Substituents Enabled by Programmed Synthesis.
  Suzuki, Shin ; Segawa, Yasutomo ; Itami, Kenichiro ; Yamaguchi, Junichiro
• Sub-second ultrafast yet programmable wet-chemical synthesis
  Zhang, Lin ; Peng, Li ; Lu, Yuanchao ; Ming, Xin ; Sun, Yuxin ; Xu, Xiaoyi ; Xia, Yuxing ; Pang, Kai ; Fang, Wenzhang ; Huang, Ning ; Xu, Zhen ; Ying, Yibin ; Liu, Yingjun ; Fu, Yingchun ; Gao, Chao
• On‐line single column capillary gas chromatographic analysis of all reactants and products in the synthesis of fuel methanol from hydrogen and oxides of carbon
  Marsman, Jan Henk ; Breman, Berthold B. ; Beenackers, Antonie A. C. M.
• LABS: Laboratory Automation and Batch Scheduling – A Modular Open Source Python Program for the Control of Automated Electrochemical Synthesis with a Web Interface
  Hielscher, Maximilian M. ; Dörr, Maurice ; Schneider, Johannes ; Waldvogel, Siegfried R.
• DEPS: a model- and property-based language for system synthesis problems
  Yvars, Pierre-Alain ; Zimmer, Laurent
• Temporal programming of epidermal cell protein synthesis during the larval-pupal transformation ofManduca sexta
  Kiely, Mary L. ; Riddiford, Lynn M.
• Synthesis of Benzoate‐Based Functionalized Ionic Liquids: Relationship between Supramolecular aggregation behavior and Catalytic activity in Phenyl Pyrimidines Derivatives
  Naveed Javed, Muhammad ; Muhammad, Shoaib ; Riaz, Kashif ; Hashmi, Imran Ali ; Bari, Ahmed ; Ashfaq, Tayyaba ; Ghulam Musharraf, Syed ; Imran Ali, Firdous
• Synthesis of single-phase mercury cuprates using a program controlled high pressure chamber
  Kuzemskaya, I. G. ; Itskevich, E. S. ; Kulikova, L. F. ; Lokshin, K. A.
• The dissociative adsorption of N2 on a multiply promoted iron catalyst used for ammonia synthesis: a temperature-programmed desorption study
  Muhler, M. ; Rosowski, F. ; Ertl, G.
• Remarks on the assignments of temperature programmed desorption peaks for the surface species formed on Cu/ZnO and ZnO in the methanol synthesis from CO
  Fujita, Shin-ichiro ; Ito, Hiroto ; Takezawa, Nobutsune
• The temperature-programmed desorption of N2 from a Ru/MgO catalyst used for ammonia synthesis
  Rosowski, F. ; Hinrichsen, O. ; Muhler, M. ; Ertl, G.
• Synthesis and characterization of shape memory poly (ε-caprolactone) networks with programmable and reconfigurable shape-morphing behaviors
  Tian, Guangming ; Zhao, Shuo ; Pan, Longkai ; Yang, Dong ; Ma, Jianhua