Keywords: سنتز رسمی; Formal Synthesis; Signal Temporal Logic; Model Predictive Control; Robust Control; Mixed Integer Linear/Quadratic Programing; Wastewater Management;
مقالات ISI سنتز رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سنتز رسمی; Stochastic hybrid systems; Stochastic switched systems; Formal synthesis; Finite abstractions; Symbolic models;
Keywords: سنتز رسمی; Stochastic hybrid systems; Randomly switched models; Symbolic models; Finite abstractions; Formal synthesis
Concise access toward chiral hydroxy phenylpropanoids: formal synthesis of virolongin B; kigelin; kurasoin A; 4-hydroxysattabacin, and actinopolymorphol A
Keywords: سنتز رسمی; Sharpless dihydroxylation; CO bond breaking; Regioselectivity; Phenylpropanoids; Formal synthesis;
Cascade cyclization triggered by imine formation. Formal synthesis of the alkaloid (±)-stemoamide and its 9a-epimer
Keywords: سنتز رسمی; Stemoamide; Formal synthesis; Cascade cyclization; Imine formation; Mukaiyama-Michael reductive carbamoylation; Michael/Nef reaction;
Toward the synthesis of hirsutellone B via an intramolecular Diels-Alder/ketene-trapping strategy
Keywords: سنتز رسمی; Paracyclophane; Tsuji-Trost reaction; Formal synthesis; Diels-Alder reaction; Ketene-trapping;
An efficient and convenient formal synthesis of Jaspine B from d-xylose
Keywords: سنتز رسمی; Jaspine B; d-Xylose; Formal synthesis
Formal synthesis of (â)-oleocanthal by means of a SmI2-promoted intramolecular coupling of bromoalkyne with α,β-unsaturated ester
Keywords: سنتز رسمی; Oleocanthal; Samarium diiodide; Bromoalkyne-alkene coupling; Formal synthesis; Extra virgin olive oil;
Formal synthesis of schulzeines B and C
Keywords: سنتز رسمی; Schulzeines B and C; Formal synthesis; N-Acyliminium ion cyclization; 28-Carbon fatty acid side chain;
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Keywords: سنتز رسمی; Application framework; Code generation; Real-time embedded software; Formal synthesis; Formal verification; Scheduling; Software components; UML modeling
Synthesis of versatile chiral intermediate for drimane sesquiterpenes and labdane diterpenes based on enzymatic resolution
Keywords: سنتز رسمی; Lipase; Alcaligenes sp.; Enzymatic resolution; Enantioselective acetylation; Formal synthesis;