Relevant bibliographies by topics / THF and THP synthesis

Academic literature on the topic 'THF and THP synthesis'

Author: Grafiati
Published: 10 December 2022
Last updated: 29 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'THF and THP synthesis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "THF and THP synthesis"

1

Tejo, Ciputra, Yang Feng Anders See, Mitch Mathiew, and Philip Wai Hong Chan. "Synthesis of 1,4-amino alcohols by Grignard reagent addition to THF and N-tosyliminobenzyliodinane." Organic & Biomolecular Chemistry 14, no. 3 (2016): 844–48. http://dx.doi.org/10.1039/c5ob02302e.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Tsukigawa, Kenji, Shuhei Imoto, Keishi Yamasaki, Koji Nishi, Toshihiko Tsutsumi, Shoko Yokoyama, Yu Ishima, and Masaki Otagiri. "Synthesis and In Vitro Assessment of pH-Sensitive Human Serum Albumin Conjugates of Pirarubicin." Pharmaceuticals 14, no. 1 (December 30, 2020): 22. http://dx.doi.org/10.3390/ph14010022.

Full text
Abstract:
In a previous study, we reported on the development of a synthetic polymer conjugate of pirarubicin (THP) that was formed via an acid-labile hydrazone bond between the polymer and the THP. However, the synthetic polymer itself was non-biodegradable, which could lead to unexpected adverse effects. Human serum albumin (HSA), which has a high biocompatibility and good biodegradability, is also a potent carrier for delivering antitumor drugs. The objective of this study was to develop pH-sensitive HSA conjugates of THP (HSA-THP), and investigate the release of THP and the cytotoxicity under acidic conditions in vitro for further clinical development. HSA-THP was synthesized by conjugating maleimide hydrazone derivatives of THP with poly-thiolated HSA using 2-iminothiolane, via a thiol-maleimide coupling reaction. We synthesized two types of HSA-THP that contained different amounts of THP (HSA-THP2 and HSA-THP4). Free THP was released from both of the HSA conjugates more rapidly at an acidic pH, and the rates of release for HSA-THP2 and HSA-THP4 were similar. Moreover, both HSA-THPs exhibited a higher cytotoxicity at acidic pH than at neutral pH, which is consistent with the effective liberation of free THP under acidic conditions. These findings suggest that these types of HSA-THPs are promising candidates for further development.
APA, Harvard, Vancouver, ISO, and other styles
3

Floresta, Giuseppe, George P. Keeling, Siham Memdouh, Levente K. Meszaros, Rafael T. M. de Rosales, and Vincenzo Abbate. "NHS-Functionalized THP Derivative for Efficient Synthesis of Kit-Based Precursors for 68Ga Labeled PET Probes." Biomedicines 9, no. 4 (April 1, 2021): 367. http://dx.doi.org/10.3390/biomedicines9040367.

Full text
Abstract:
Hexadentate tris(3,4-hydroxypyridinone) ligands (THP) complex Fe3+ at very low iron concentrations and their high affinities for oxophilic trivalent metal ions have led to their development for new applications as bifunctional chelators for the radiometal gallium-68 (68Ga). THP-peptide bioconjugates rapidly and quantitatively complex 68Ga at room temperature, neutral pH, and micromolar ligand concentrations, making them amenable to kit-based radiosynthesis of 68Ga PET radiopharmaceuticals. With the aim to produce an N-hydroxysuccinimide-(NHS)-THP reagent for kit-based 68Ga-labeling and PET imaging, THP-derivatives were designed and synthesized to exploit the advantages of NHS chemistry for coupling with peptides, proteins, and antibodies. The more stable five-carbon atoms linker product was selected for a proof-of-concept conjugation and radiolabeling study with an anti-programmed death ligand 1 (PD-L1) camelid single domain antibody (sdAb) under mild conditions and further evaluated for site-specific amide bond formation with a synthesized glucagon-like peptide-1 (GLP-1) targeting peptide using solid-phase synthesis. The obtained THP-GLP-1 conjugate was tested for its 68Ga chelating ability, demonstrating to be a promising candidate for the detection and monitoring of GLP-1 aberrant malignancies. The obtained sdAb-THP conjugate was radiolabeled with 68Ga under mild conditions, providing sufficient labeling yields after 5 min, demonstrating that the novel NHS-THP bifunctional chelator can be widely used to easily conjugate the THP moiety to different targeting molecules (e.g., antibodies, anticalins, or peptides) under mild conditions, paving the way to the synthesis of different imaging probes with all the advantages of THP radiochemistry.
APA, Harvard, Vancouver, ISO, and other styles
4

Su, S. J., K. L. Chang, T. M. Lin, Y. H. Huang, and T. M. Yeh. "Uromodulin and Tamm-Horsfall protein induce human monocytes to secrete TNF and express tissue factor." Journal of Immunology 158, no. 7 (April 1, 1997): 3449–56. http://dx.doi.org/10.4049/jimmunol.158.7.3449.

Full text
Abstract:
Abstract Effects of uromodulin (URO) and Tamm-Horsfall protein (THP), the most abundant proteins in the urine of pregnant and normal women, respectively, on the induction of TNF-alpha secretion and tissue factor (TF) expression of human monocytes were studied. THP, URO, and its fragments stimulated human mononuclear cells to proliferate and secrete TNF-alpha. The release of URO and THP-induced TNF-alpha in monocytes was dependent upon protein tyrosine kinase activation that results in tyrosine phosphorylation. URO and THP also induced TF expression of human monocytes and monocytic cell line U937 in a dose-dependent manner. TF expression was transient, reached its peak at 6 h and declined toward basal levels by 24 h. Reverse transcriptase-PCR and dot-blot analysis confirmed the induction of TF mRNA synthesis. URO and THP-induced TF expression were inhibited by actinomycin D and pentoxifylline further supporting the requirement of de novo TF mRNA synthesis. The possibility of LPS contamination of URO and THP was excluded because: 1) URO and THP-induced TF expression were inhibited by specific Ab; 2) URO was less capable of inducing TF in HUVEC as compared with LPS; 3) polymyxin B blocked the induction of Limulus clotting by LPS but not by URO and THP; 4) both LPS-sensitive (C3H/HeN) and -resistant (C3H/HeJ) mice produced little or no TNF-alpha after URO challenge. Therefore, our findings suggest that URO and THP play a significant role in the innate immunity of the urinary system and that the immunostimulatory activity of URO is potentially useful for immunotherapy.
APA, Harvard, Vancouver, ISO, and other styles
5

Kawai, Nobuyuki, Yuhei Fujikura, Jun Takita, and Jun'ichi Uenishi. "Stereoselective synthesis of contiguous THF–THF and THF–THP units via PdII-catalyzed tandem reaction with 1,3-chirality transfer." Tetrahedron 69, no. 51 (December 2013): 11017–24. http://dx.doi.org/10.1016/j.tet.2013.09.067.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mallavadhani, Uppuluri V., Banita Pattnaik, Nitasha Suri, and Ajit K. Saxena. "Novel C-ring Analogs of Ursolic acid: Synthesis and Cytotoxic Evaluation." Natural Product Communications 9, no. 12 (December 2014): 1934578X1400901. http://dx.doi.org/10.1177/1934578x1400901206.

Full text
Abstract:
Ursolic acid (1), a natural pentacyclic triterpenic acid, afforded a variety of ring-C transformed products (5–11) when treated with N-bromosuccinimide under the influence of a range of protective groups and solvents. The synthesized compounds have been evaluated for cytotoxic activity against prostate PC 3, leukemia THP 1, cervical Hela and lung A-549 cancer cell lines. Among the tested analogs, compounds 5, 8, 9 and 10 showed potent activity against PC 3, THP 1 and Hela cell lines. Especially, compound 10 showed enhanced activity against the Hela cell line than the parent compound. Compounds 5, 8 and 9 showed comparable activities against PC 3 and THP 1 cell lines.
APA, Harvard, Vancouver, ISO, and other styles
7

Nasir, Nadiah Mad, Kristaps Ermanis, and Paul A. Clarke. "Strategies for the construction of tetrahydropyran rings in the synthesis of natural products." Org. Biomol. Chem. 12, no. 21 (2014): 3323–35. http://dx.doi.org/10.1039/c4ob00423j.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tajbakhsh, Mahmood, Iraj Mohammadpoor-Baltork, and Farhad Ramzanian-Lehmali. "Benzyltriphenylphosphonium Peroxodisulfate: A Mild and Inexpensive Reagent for Selective Oxidative Deprotection of Trimethylsilyl and Tetrahydropyranyl Ethers, Ethylene Acetals and Ketals under Non-Aqueous and Aprotic Conditions." Journal of Chemical Research 2001, no. 5 (May 2001): 185–87. http://dx.doi.org/10.3184/030823401103169577.

Full text
Abstract:
Benzyltriphenylphosphonium peroxodisulfate has been found to be an effective reagent for the oxidative deprotection of trimethylsilyl (TMS) and tetrahydropyranyl (THP) ethers, ethylene acetals and ketals to their corresponding carbonyl compounds in excellent yields. Selective oxidative deprotection of TMS ethers in the presence of THP ethers and ethylene acetals (ketals) makes this method a useful and practical procedure in organic synthesis.
APA, Harvard, Vancouver, ISO, and other styles
9

Spurr, Ian, and Richard C. Brown. "Total Synthesis of Annonaceous Acetogenins Belonging to the Non-Adjacent Bis-THF and Non-Adjacent THF-THP Sub-Classes." Molecules 15, no. 1 (January 21, 2010): 460–501. http://dx.doi.org/10.3390/molecules15010460.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kawai, Nobuyuki, Yuhei Fujikura, Jun Takita, and Jun'ichi Uenishi. "ChemInform Abstract: Stereoselective Synthesis of Contiguous THF-THF and THF-THP Units via PdII-Catalyzed Tandem Reaction with 1,3-Chirality Transfer." ChemInform 45, no. 22 (May 15, 2014): no. http://dx.doi.org/10.1002/chin.201422114.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "THF and THP synthesis"

1

Spurr, Ian Bruce. "Total synthesis of cis-sylvaticin and synthetic studies towards the synthesis of adjacent THF-THF and THF-THP Annonaceous acetogenins." Thesis, University of Southampton, 2010. https://eprints.soton.ac.uk/173853/.

Full text
Abstract:
The total synthesis of potent antitumour agent cis-sylvaticin (1.100) has been completed. Notable steps included the alcoholytic kinetic resolution of epoxide 2.2, two permanganate promoted oxidative cyclisation reactions, a tethered RCM to unite the two major fragments and the use of P4 phoshazene base to install the butenolide precursor. Synthesis of adjacent THP-THF and bis-THF cores via cascade oxidative cyclisation reactions with permanganate is an attractive route to many Annonaceous acetogenins. Attempted synthesis of an adjacent THP-THF core and synthesis of an adjacent bis-THF core are discussed.
APA, Harvard, Vancouver, ISO, and other styles
2

Schröder, Sabine. "cis-THF- und cis-THP-Aminosäuren als Bausteine für Gramicidin A Hybrid-Ionenkanäle Synthese, Struktur- und Funktionsuntersuchung." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2820897&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Luscombe, Kirsty Nicole. "A novel approach to the synthesis of the FG fragment of pectenotoxin-4." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:e434af14-cc0d-4ecf-b60e-2ed635e48fb8.

Full text
Abstract:
The cobalt-catalysed oxidative cyclisation of 5-hydroxy alkenes has been demonstrated to be a powerful synthetic tool for the formation of trans-THFs with excellent diastereoselectivity. This thesis describes the utilisation of this methodology in the synthesis of the FG fragment of pectenotoxin-4, allowing the scope of the reaction to be further explored. Introduction: This section introduces the pectenotoxins, a family of structurally complex closed-chain polyether macrolides with promising biological activities. The isolation, structural elucidation, and biological properties of the pectenotoxins are reviewed, along with a summary of previous syntheses towards the FG fragment of pectenotoxin-4. In addition, the cobalt-catalysed oxidative cyclisation of 5-hydroxy alkenes and its application in synthesis is discussed. Results and Discussion: An outline of the synthetic strategy employed in this project and details of the novel retrosynthesis of the C31-C40 fragment of pectenotoxin-4 is described. The synthetic studies carried out towards the synthesis of the FG fragment of pectenotoxin-4 are discussed in detail, with the exploitation of a cobalt-catalysed oxidative cyclisation as the key step to form the trans-THF F-ring. Overall, the FG fragment, which contains six stereogenic centres, was achieved in 18 total synthetic steps (13 longest linear sequence).
APA, Harvard, Vancouver, ISO, and other styles
4

Uppal, Sukhjinder Singh. "Preparation of η³-allylmolybdenum complexes using cis-Mo(CO)₄(THF)₂ : application to the synthesis of methyl pseudomonate C." Thesis, University of Leeds, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275796.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Williams, Oliver M. H. "A novel route to trans-THFs and the synthesis of sylvaticin." Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:116fc7cd-5b5c-449d-b144-00a08af64926.

Full text
Abstract:
trans-2,5-Disubstituted-tetrahydrofurans (THFs) are a common structural motif in many biologically active natural products, particularly in the Annonaceous acetogenins. This thesis develops a new route for their synthesis and applies it to the total synthesis of the Annonaceous acetogenin sylvaticin. Chapter 1: Introduction – Synthetic routes to trans-2,5-substituted tetrahydrofurans This chapter reviews methods for the synthesis of trans-2,5-THFs that have been applied to natural products synthesis. Chapter 2: Results & Discussion – A Novel Route to trans-THFs The rearrangement of activated 2,5-disubstituted cis-THFs is reviewed and is developed into a new synthetic method for the synthesis of trans-THFs. The reaction proceeds via a hydride shift mechanism to form an oxonium ion. Intramolecular reduction by a tethered hydrosilane stereoselectively forms the trans-THF. The mechanism of the rearrangement is investigated with the use of different stereoisomers and a deuterium labelling study. A cross-over study is carried out which confirms the reaction occurs via the proposed hydride shift mechanism. Chapter 3: Introduction – The Annonaceous Acetogenins This chapter introduces the Annonaceous acetogenins, a biologically active class of natural products often found with THF rings in their structure. The three key areas for their synthesis are explored- the synthesis of the THF core, the synthesis of the butenolide ring, and their coupling. Chapter 4: Results & Discussion – The Synthesis of Sylvaticin The Annonaceous acetogenin sylvaticin is introduced, and its isolation in nature and biological activity reviewed. With the aid of a model system study to extend the scope of the reaction, the methodology developed in Chapter 2 is then applied to the synthesis of sylvaticin. The synthesis, the first to be reported, is completed in a total of 19 linear steps starting from commercially available tetradecatetraene. In order to prove the obtained structure is that found in nature, a comprehensive investigation is undertaken using Mosher ester derivatives and the synthesis of its bis-epimer, 4,36-epi,epi sylvaticin. Chapter 5: Experimental Full experimental procedures and characterisation of compounds are reported.
APA, Harvard, Vancouver, ISO, and other styles
6

Pingali, Aparna. "Synthesis and X-ray Diffraction Structures of 2-(2-thienylidene)-4,5-bis-(diphenylphosphino)-4-cyclopenten-1,3-dione and fac-BrRe(CO)3[2-(2-thienylidene)-4,5-bis(diphenylphosphino)-4-cyclopenten-1,3-dione]." Thesis, University of North Texas, 2005. https://digital.library.unt.edu/ark:/67531/metadc4942/.

Full text
Abstract:
Treatment of 4,5 bis-(diphenylphosphino)-cyclopenten-1,3 dione with thiophene carboxyaldehyde in dichloromethane, in the presence of molecular sieves results in a new heterocyclic compound, 2-(2-thienylidene)-4,5-bis(diphenylphosphino)-4-cyclopenten-1,3-dione (ligand), with a high yield. This product was characterized by using both IR and NMR spectroscopic techniques and the solid-state structure of the ligand was determined using X-ray crystallography. When the ligand was treated with the solvent stabilized intermediate of ReBr(CO)5 with THF, a monomeric metal complex, fac-BrRe(CO)3[2-(2-thienylidene)-4,5-bis(diphenylphosphino)-4-cyclopenten-1,3-dione] was the result. The solid-state structure of the monomeric metal complex was determined using X-ray crystallography. Photolysis and thermolysis studies of the complex will be further explored.
APA, Harvard, Vancouver, ISO, and other styles
7

Mariniello, Katia. "Comparative study of synthesis and incorporation of omega-3 and 6- long chain polyunsaturated fatty acids by THP-1 and HT29 cells with a specifc focus on the influence of retinoids." Thesis, London Metropolitan University, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540612.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Simon, Binto. "The development of synthetic methodology for stereoselective synthesis of aminoglycosides." Thesis, University of Manchester, 2013. https://www.research.manchester.ac.uk/portal/en/theses/the-development-of-synthetic-methodology-for-stereoselective-synthesis-of-aminoglycosides(746860dc-9b11-41b9-8283-9201d5149cd9).html.

Full text
Abstract:
RNA is recognised as an important biomolecule involved in many broad cellular functions such as transcription, translation regulation and protein synthesis. Most pathogenic viruses replicate their genome as RNA during some stages in their life cycle. There is an urgent need to develop new methods to treat numerous viral diseases by targeting RNA and to understand the processes by which RNA-protein complexation can be inhibited. Our study focuses on the interactions between the HIV-1 Rev Responsive Element RNA (RRE) with a series of aminoglycosides developed jointly between our group in Manchester and GSK (USA). Even though a number of novel aminoglycoside have been explored previously, they are complex, large molecular weight compounds with low specificity, which limits their use as RNA recognition ligands and anti-viral drugs. The key problem is to be able to synthesise precursors by short, direct routes, avoiding significant detours caused by traditional carbohydrate protecting group strategies, while still delivering sterocontrol and opportunities to diversify. In chapter II we describe our efforts to synthesize the 6-glucosamine moiety (A-ring). A flexible synthesis of 6-aminoglucosamine derivatives can be accomplished in 5 steps using a totally regioselective enzymatic hydrolysis, controlled oxidation to sensitive but manageable aldehydes (hitherto rarely accomplished with a C-4 OAc), and reductive amination technology that allow for unprecedented diversification. In a different approach stereocontrolled synthesis of a model compound was achieved in 4 steps including a novel TEMPO oxidation and a one-pot oxidation/imine-reduction for the complete synthesis of the molecule.Chapter III describes our attempts towards the development of a robust stereoselective O-glycosylation strategy using Lewis acids. In pursuance of an efficient synthesis of our designed RNA binder target compound the stereoselective formation of the glycosidic linkage connecting the A-ring with the 2-DOS ring is an important step. This chapter also gives a general overview of the challenges involved in glycosylation followed by the strategies we employed to overcome some of these issues. We discuss our unusual stereocontrolled glycosylation in which, despite a neighbouring “participatory” group at C-2, the α-glycoside is delivered in high yield. This result implies that the reaction does not occur through a conventional neighbouring group participation.
APA, Harvard, Vancouver, ISO, and other styles
9

Stewart, Mark Richard. "The design and synthesis of synthetic receptors." Thesis, University of Leeds, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400852.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kim, Charles. "Synthetic studies toward the synthesis of norrisolide /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2002. http://wwwlib.umi.com/cr/ucsd/fullcit?p3055785.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "THF and THP synthesis"

1

Pham, Hung Hoang. Synthesis and characterization of a novel fluorinated surfactant. Investigation of absorption and emission spectra in THF and water. Ottawa: National Library of Canada, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

The chemical synthesis of peptides. Oxford: Clarendon Press, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

library, Wiley online, ed. The power of functional resins in organic synthesis. Weinheim: Wiley-VCH, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mathias, Christmann, and Bräse Stefan, eds. Asymmetric synthesis: The essentials. 2nd ed. Weinheim: Wiley-VCH, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Eric, Keller, and European Cooperation in the Field of Scientific and Technical Research (Organization). COST 258., eds. Improvements in speech synthesis: COST 258: the naturalness of synthetic speech. Chichester, West Sussex: J. Wiley, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bentzen, Billie L. Detectable warnings: Synthesis of U.S. and international practice. Washington, D.C. (1331 F Street, NW, Suite 1000, Washington, 20004-1111): U.S. Access Board, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Control system synthesis: A factorization approach. Cambridge, Mass: MIT Press, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Serratosa, Fèlix. Organic chemistry in action: The design of organic synthesis. 2nd ed. Amsterdam: Elsevier, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Josep, Xicart, ed. Organic chemistry in action: The design of organic synthesis. Amsterdam: Elsevier, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

The synthesis imperative. Prescott, Arizona: Classic Printers, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "THF and THP synthesis"

1

Liu, Ping, Guanghui Zhang, and Peipei Sun. "The Applications of 1,4-Dioxane, THF, and Ethers as Versatile Building Blocks in Organic Synthesis." In Solvents as Reagents in Organic Synthesis, 81–123. Weinheim, Germany: Wiley-VCH Verlag GmbH & Co. KGaA, 2017. http://dx.doi.org/10.1002/9783527805624.ch3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Forino, R., M. Galantino, F. Ciprandi, L. Baumer, E. Arlandini, and R. de Castiglione. "Side reactions in the large-scale pharmaceutical production of THF-γ2 by solution synthesis." In Peptides 1992, 257–58. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1470-7_104.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Takeda, S. "Non-Oxide Ceramics Sintering by a New Process Thermite Reaction Assisted Sintering & Synthesis Under High Pressure (THP) Process —." In Sintering ’87, 1076–81. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-1373-8_181.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Costea, Andreea, Amy Zhu, Nadia Polikarpova, and Ilya Sergey. "Concise Read-Only Specifications for Better Synthesis of Programs with Pointers." In Programming Languages and Systems, 141–68. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_6.

Full text
Abstract:
AbstractIn program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if it is too weak, the synthesised program might not match the user’s intent. In this work we explore the use of annotations for restricting memory access permissions in program synthesis, and show that they can make specifications much stronger while remaining surprisingly concise. Specifically, we enhance Synthetic Separation Logic (SSL), a framework for synthesis of heap-manipulating programs, with the logical mechanism of read-only borrows.We observe that this minimalistic and conservative SSL extension benefits the synthesis in several ways, making it more (a) expressive (stronger correctness guarantees are achieved with a modest annotation overhead), (b) effective (it produces more concise and easier-to-read programs), (c) efficient (faster synthesis), and (d) robust (synthesis efficiency is less affected by the choice of the search heuristic). We explain the intuition and provide formal treatment for read-only borrows. We substantiate the claims (a)–(d) by describing our quantitative evaluation of the borrowing-aware synthesis implementation on a series of standard benchmark specifications for various heap-manipulating programs.
APA, Harvard, Vancouver, ISO, and other styles
5

Yang, Zhengfeng, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, and Zhiming Liu. "An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation." In Computer Aided Verification, 467–90. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_22.

Full text
Abstract:
AbstractIn this paper, we propose a safe reinforcement learning approach to synthesize deep neural network (DNN) controllers for nonlinear systems subject to safety constraints. The proposed approach employs an iterative scheme where a learner and a verifier interact to synthesize safe DNN controllers. The learner trains a DNN controller via deep reinforcement learning, and the verifier certifies the learned controller through computing a maximal safe initial region and its corresponding barrier certificate, based on polynomial abstraction and bilinear matrix inequalities solving. Compared with the existing verification-in-the-loop synthesis methods, our iterative framework is a sequential synthesis scheme of controllers and barrier certificates, which can learn safe controllers with adaptive barrier certificates rather than user-defined ones. We implement the tool SRLBC and evaluate its performance over a set of benchmark examples. The experimental results demonstrate that our approach efficiently synthesizes safe DNN controllers even for a nonlinear system with dimension up to 12.
APA, Harvard, Vancouver, ISO, and other styles
6

Beatty, John. "The Synthesis and the Synthetic Theory." In Integrating Scientific Disciplines, 125–35. Dordrecht: Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-010-9435-1_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Beaufils, P. "Synthesis." In The Meniscus, 97–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-02450-4_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Verdonk, R. "Synthesis." In The Meniscus, 155. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-02450-4_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Beaufils, P. "Synthesis." In The Meniscus, 235–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-02450-4_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Seil, R. "Synthesis." In The Meniscus, 269–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-02450-4_35.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "THF and THP synthesis"

1

Ramos, Juan C., Margarita Brovetto, and Gustavo Seoane. "Chemoenzymatic synthesis of bis-THF rings present in acetogenins." In 14th Brazilian Meeting on Organic Synthesis. São Paulo: Editora Edgard Blücher, 2013. http://dx.doi.org/10.5151/chempro-14bmos-r0065-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Alshatwi, Ali A., Jegan Athinarayanan, Vaiyapuri Subbarayan Periasamy, and Maurizio Prato. "Synthesis of copper-platinum nanoparticles induce apoptosis in THP-1 cells." In 2015 IEEE 15th International Conference on Nanotechnology (IEEE-NANO). IEEE, 2015. http://dx.doi.org/10.1109/nano.2015.7388817.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kumari, Priti, Niraj Kumari, Anal K. Jha, K. P. Singh, and K. Prasad. "Nyctanthes arbortristis mediated synthesis of silver nanoparticles: Cytotoxicity assay against THP-1 human leukemia cell lines." In 2ND INTERNATIONAL CONFERENCE ON CONDENSED MATTER AND APPLIED PHYSICS (ICC 2017). Author(s), 2018. http://dx.doi.org/10.1063/1.5032406.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Song, Yingbo, Salvatore J. Stolfo, and Tony Jebara. "Behavior-based network traffic synthesis." In 2011 IEEE International Conference on Technologies for Homeland Security (HST). IEEE, 2011. http://dx.doi.org/10.1109/ths.2011.6107893.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Prathap, S., and J. Madhavan. "Synthesis, Growth and Computational Studies on mNA Single Crystal." In CIOMP-OSA Summer Session on Optical Engineering, Design and Manufacturing. Washington, D.C.: OSA, 2013. http://dx.doi.org/10.1364/sumsession.2013.th5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Koladiya, D., P. S. Shiakolas, and J. Kebrle. "Evolutionary Based Optimal Synthesis of Four-Bar Mechanisms." In ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-41501.

Full text
Abstract:
Graphical and analytical syntheses have been well applied to path, motion and function generation of planar mechanisms. Optimization techniques in common, require “good initial guesses” and do not necessarily converge to a solution. This paper presents a methodology to synthesize mechanisms employing an evolutionary optimization approach technique known as Differential Evolution. The initial bounds for the design variables are defined automatically using a newly developed and novel technique called the Geometric Centroid of Precision Points. Optimum synthesis of four-bar linkages for path generation with user defined accuracy level at required precision points is discussed.
APA, Harvard, Vancouver, ISO, and other styles
7

Bozhenko, E. A., A. I. Sobchinskij, M. G. Zharkova, and A. V. Olshevskaya. "EXISTING TECHNOLOGIES AND PROSPECTS FOR THE DEVELOPMENT OF SYNTHESIS OF HYDROCARBONS WITH THE USE OF COBALT CATALYSTS." In INNOVATIVE TECHNOLOGIES IN SCIENCE AND EDUCATION. DSTU-Print, 2020. http://dx.doi.org/10.23947/itno.2020.492-496.

Full text
Abstract:
Fischer-Tropsch synthesis is the main process for the production of synthetic hydrocarbons. The raw material of the process is a mixture of CO and H2, called synthesis gas. The process is carried out using catalysts based on cobalt or iron, supported on carriers of various nature. The composition of the resulting product depends on the process conditions and the catalyst used. Hydrocarbon synthesis technologies are developed and introduced into production by both foreign and some Russian companies.
APA, Harvard, Vancouver, ISO, and other styles
8

Shyu, Jenq-Huey. "Application of Instantaneous Invariants to the Synthesis of Linkages." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/mech-14057.

Full text
Abstract:
Abstract This paper presents the development of an efficient synthesis technique to synthesize planar triads and six-link mechanisms satisfying the prescribed instantaneous motions, by using the method of instantaneous invariants. The application of planar path curvature theory is extended to the synthesis of planar triads. A complete classification of planar triads is presented. Different synthesis applications of planar six-link mechanisms are discussed, and their design procedures are stated in detail.
APA, Harvard, Vancouver, ISO, and other styles
9

Karlsson, Inger, and Lennart Neovius. "Speech synthesis experiments with the glove synthesiser." In 3rd European Conference on Speech Communication and Technology (Eurospeech 1993). ISCA: ISCA, 1993. http://dx.doi.org/10.21437/eurospeech.1993-213.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Baranov, Pavel. "Towards the problem of existence of the scientific theory of audit." In Synthesis 2015. Belgrade, Serbia: Singidunum University, 2015. http://dx.doi.org/10.15308/synthesis-2015-715-718.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "THF and THP synthesis"

1

Nelson, Gena, Angela Crawford, and Jessica Hunt. A Systematic Review of Research Syntheses for Students with Mathematics Learning Disabilities and Difficulties. Boise State University, Albertsons Library, January 2022. http://dx.doi.org/10.18122/sped.143.boisestate.

Full text
Abstract:
The purpose of this document is to provide readers with the coding protocol that authors used to code 36 research syntheses (including meta-analyses, evidence-based reviews, and quantitative systematic reviews) focused on mathematics interventions for students with learning disabilities (LD), mathematics learning disabilities (MLD), and mathematics difficulties (MD). The purpose of the systematic review of mathematics intervention syntheses was to identify patterns and gaps in content areas, instructional strategies, effect sizes, and definitions of LD, MLD, and MD. We searched the literature for research syntheses published between 2000 and 2020 and used rigorous inclusion criteria in our literature review process. We evaluated 36 syntheses that included 836 studies with 32,495 participants. We coded each synthesis for variables across seven categories including: publication codes (authors, year, journal), inclusion and exclusion criteria, content area focus, instructional strategy focus, sample size, methodological information, and results. The mean interrater reliability across all codes using this coding protocol was 90.3%. Although each synthesis stated a focus on LD, MLD, or MD, very few students with LD or MLD were included, and authors’ operational definitions of disability and risk varied. Syntheses predominantly focused on word problem solving, fractions, computer- assisted learning, and schema-based instruction. Syntheses reported wide variation in effectiveness, content areas, and instructional strategies. Finally, our results indicate the majority of syntheses report achievement outcomes, but very few syntheses report on other outcomes (e.g., social validity, strategy use). We discuss how the results of this comprehensive review can guide researchers in expanding the knowledge base on mathematics interventions. The systematic review that results from this coding process is accepted for publication and in press at Learning Disabilities Research and Practice.
APA, Harvard, Vancouver, ISO, and other styles
2

Prusky, Dov, Noel Keen, and John Browse. Modulation of the synthesis of the main preformed antifungal compound as abasis for the prevention of postharvest disease of C. gloeosporioides in avocado fruits. United States Department of Agriculture, December 2001. http://dx.doi.org/10.32747/2001.7575273.bard.

Full text
Abstract:
The most important pathological factor limiting fruit life after harvest in subtropical fruits are quiescent infections of anthracnose caused by Colletotrichum gloeosporioides. Prusky and Keen elucidated the mechanism of resistance in avocado fruits to quiescent infections of C. gloeosporioides and determined that the major biocide involved is the preformed compound,1-acetoxy-2-hydroxy-4-oxo-heneicosa-13, 15 diene. Two possibilities exist for maintaining fungitoxic levels of antifungal compounds in the tissue of ripening fruits: (i). Prevention of catabolism (ii). Induction of synthesis. Previous work has demonstrated that increased fruit susceptibility after fruit harvest occurs through diene catabolism mediated by oxidation of the antifungal compound by the enzyme lipoxygenase. Levels of a non-specific inhibitor, epicatechin, in turn, regulate activity of lipoxygenase, present in the peel of unripe but not ripe fruit. In this proposal, we examined the possibility of exploiting induced synthesis of the antifungal compound for the study of the synthetic pathway. The general objective of the present research was to study the mechanism of biosynthesis of natural antifungal compounds in order to regulate the process of resistance to postharvest diseases in ripening avocado fruits. The specific objectives of the research were: 1. To localize synthesis of the antifungal diene and modulate the process by biotic or a biotic elicitors. 2. To determine the relation between synthesis of the diene and accumulation in the peel and fruit resistance to decay 3. To characterize the biosynthetic pathway and the diene and the genes involved. The analysis of the antifungal compounds in avocado resulted in the detection of a new antifungal compound (E, Z, Z)-1-acetoxy-2-hydroxy-4-oxo- heneicosa-5, 12,15-triene. This new compound was shown to inhibit spore germination of C. gloeosporioides similarly as the antifungal diene. We had localized one of the biosynthetic places of these antifungal compounds in specialized idioblast cells (oil cells) in the mesocarp that can be easily enhanced by elicitors as ethylene. Results have also suggested that the antifungal compounds can be "exported" from the mesocarp to the pericarp where its main activity takes place. The search for the biosynthesis of antifungal compounds and the genes involved took two directions i. direct search for specific genes involved in the synthesis of the diene and ii. Indirect selection of genes using the differential display library. We have cloned , The most important pathological factor limiting fruit life after harvest in subtropical fruits are quiescent infections of anthracnose caused by Colletotrichum gloeosporioides. Prusky and Keen elucidated the mechanism of resistance in avocado fruits to quiescent infections of C. gloeosporioides and determined that the major biocide involved is the preformed compound,1-acetoxy-2-hydroxy-4-oxo-heneicosa-13, 15 diene. Two possibilities exist for maintaining fungitoxic levels of antifungal compounds in the tissue of ripening fruits: (i). Prevention of catabolism (ii). Induction of synthesis. Previous work has demonstrated that increased fruit susceptibility after fruit harvest occurs through diene catabolism mediated by oxidation of the antifungal compound by the enzyme lipoxygenase. Levels of a non-specific inhibitor, epicatechin, in turn, regulate activity of lipoxygenase, present in the peel of unripe but not ripe fruit. In this proposal, we examined the possibility of exploiting induced synthesis of the antifungal compound for the study of the synthetic pathway. The general objective of the present research was to study the mechanism of biosynthesis of natural antifungal compounds in order to regulate the process of resistance to postharvest diseases in ripening avocado fruits. The specific objectives of the research were: 1. To localize synthesis of the antifungal diene and modulate the process by biotic or a biotic elicitors. 2. To determine the relation between synthesis of the diene and accumulation in the peel and fruit resistance to decay 3. To characterize the biosynthetic pathway and the diene and the genes involved. The analysis of the antifungal compounds in avocado resulted in the detection of a new antifungal compound (E, Z, Z)-1-acetoxy-2-hydroxy-4-oxo- heneicosa-5, 12,15-triene. This new compound was shown to inhibit spore germination of C. gloeosporioides similarly as the antifungal diene. We had localized one of the biosynthetic places of these antifungal compounds in specialized idioblast cells (oil cells) in the mesocarp that can be easily enhanced by elicitors as ethylene. Results have also suggested that the antifungal compounds can be "exported" from the mesocarp to the pericarp where its main activity takes place. The search for the biosynthesis of antifungal compounds and the genes involved took two directions i. direct search for specific genes involved in the synthesis of the diene and ii. Indirect selection of genes using the differential display library. We have cloned D9 and D12 desaturase, a protein kinase and a elongase that their transcriptional activation is significantly enhanced during the enhanced synthesis of the antifungal diene. Although we are far away from a complete elucidation of the synthesis of the antifungal compound we have stepped forward determining some of the key steps that might be involved in its synthesis.
APA, Harvard, Vancouver, ISO, and other styles
3

Hammond, Jr, Graham Marvin H., Kerlin David R., and Edward P. History of the ARPA Synthetic Environments for Requirements and Concept Evaluation and Synthesis (SERCES) Program. Fort Belvoir, VA: Defense Technical Information Center, November 1993. http://dx.doi.org/10.21236/ada277801.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sharma, E., N. Chettri, Birendra Bajracharya, R. Thapa, D. Choudhury, K. P. Oli, B. Shakya, and K. Uddin. Biodiversity in the Eastern Himalayas: Status, Trends and Vulnerability to Climate Change; Climate Change Impact and Vulnerability in the Eastern Himalayas - Technical Report 2. International Centre for Integrated Mountain Development (ICIMOD), 2010. http://dx.doi.org/10.53055/icimod.1006.

Full text
Abstract:
Supported by the MacArthur Foundation, ICIMOD undertook a series of research activities together with partners in the Eastern Himalayas from 2007 to 2008 to provide a preliminary assessment of the impacts and vulnerability of this region to climate change. Activities included rapid surveys at country level, thematic workshops, interaction with stakeholders at national and regional levels, and development of technical papers by individual experts in collaboration with institutions that synthesised the available information on the region. A summary of the findings of the rapid assessment was published in 2009. The present publication is one of six technical papers used in the assessment. The main synthesis report is being published separately.
APA, Harvard, Vancouver, ISO, and other styles
5

Grzybowski, Bartosz A. Engines of discovery: Computers in advanced synthesis planning and identification of drug candidates. AsiaChem Magazine, November 2020. http://dx.doi.org/10.51167/acm00010.

Full text
Abstract:
After over five decades of efforts, computers have recently begun to plan chemical syntheses of complex targets at a level comparable to human experts. With this milestone achieved, it is now time to ponder not only how the machines will accelerate and multiplex synthetic design, but also how they will guide the discovery of new targets having desired properties.
APA, Harvard, Vancouver, ISO, and other styles
6

Odani, Masayasu, Sun Y. Hwang, Tom Blank, and Tom Rokicki. The Hermod Behavioral Synthesis System. Fort Belvoir, VA: Defense Technical Information Center, June 1988. http://dx.doi.org/10.21236/ada207319.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Carlson, John E. ''The control of lignin synthesis''. Office of Scientific and Technical Information (OSTI), April 2005. http://dx.doi.org/10.2172/838425.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

McDonagh, Marian S., Jesse Wagner, Azrah Y. Ahmed, Benjamin Morasco, Devan Kansagara, and Roger Chou. Living Systematic Review on Cannabis and Other Plant-Based Treatments for Chronic Pain: May 2021 Update. Agency for Healthcare Research and Quality (AHRQ), June 2021. http://dx.doi.org/10.23970/ahrqepccerplantpain3.

Full text
Abstract:
Overview This is the third quarterly progress report for an ongoing living systematic review on cannabis and other plant-based treatments for chronic pain. The first progress report was published in January 2021 and the second in March 2021. The draft systematic review was available for public comment from May 19 through June 15, 2021, on the Agency for Healthcare Research and Quality (AHRQ) Effective Health Care website. The systematic review synthesizes evidence on the benefits and harms of plant-based compounds (PBCs), such as cannabinoids and kratom, used to treat chronic pain, addressing concerns about severe adverse effects, abuse, misuse, dependence, and addiction. The purpose of this progress report is to describe the cumulative literature identified thus far. This report will be periodically updated with new studies as they are published and identified, culminating in an annual systematic review that provides a synthesis of the accumulated evidence. Main Points In patients with chronic (mainly neuropathic) pain with short-term treatment (4 weeks to <6 months): • Studies of cannabis-related products were grouped based on their tetrahydrocannabinol (THC) to cannabidiol (CBD) ratio using the following categories: high THC to CBD, comparable THC to CBD, and low THC to CBD. • Comparable THC to CBD ratio oral spray is probably associated with small improvements in pain severity and may be associated with small improvements in function. There was no effect in pain interference or serious adverse events. There may be a large increased risk of dizziness and sedation, and a moderate increased risk of nausea. • Synthetic THC (high THC to CBD) may be associated with moderate improvement in pain severity and increased risk of sedation, and large increased risk of nausea. Synthetic THC is probably associated with a large increased risk of dizziness. • Extracted whole-plant high THC to CBD ratio products may be associated with large increases in risk of withdrawal due to adverse events and dizziness. • Evidence on whole-plant cannabis, low THC to CBD ratio products (topical CBD), other cannabinoids (cannabidivarin), and comparisons with other active interventions was insufficient to draw conclusions. • Other key adverse event outcomes (psychosis, cannabis use disorder, cognitive deficits) and outcomes on the impact on opioid use were not reported. • No evidence on other plant-based compounds, such as kratom, met criteria for this review.
APA, Harvard, Vancouver, ISO, and other styles
9

Manna, Zohar. The Automatic Synthesis of Computer Programming. Fort Belvoir, VA: Defense Technical Information Center, September 1986. http://dx.doi.org/10.21236/ada182679.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bracuti, A. J., and C. Y. Manning. The Synthesis of Triaminoguanidinium Azide (TAZ). Fort Belvoir, VA: Defense Technical Information Center, August 1988. http://dx.doi.org/10.21236/ada199160.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'THF and THP synthesis' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography