Results 1 to 10 of about 7,269,595 (295)
Reduction Strategies for Program Extraction
CLEI Electronic Journal, 2018 We introduce Pure Type Systems with Pairs generalising earlier work on program extraction in Typed Lambda Calculus. We model the process of program extraction in these systems by means of a reduction relation called o-reduction, and give strategies for ...
Maribel Fernandez +3 more
doaj +4 more sources
Potential of Supercritical Acrocomia aculeata Oil and Its Technology Trends
Applied Sciences, 2023 This study discusses the bioactive composition, supercritical extraction, and biological activity of Acrocomia aculeata in publications in the last ten years. Numerous compounds have been identified in A. aculeata, which include fatty acids, carotenoids,
Giselle Cristine Melo Aires +1 more
doaj +1 more source
Foods, 2021 The use of clean technologies in the development of bioactive plant extracts has been encouraged, but it is necessary to verify the cytotoxicity and cytoprotection for food and pharmaceutical applications.
Flávia Cristina Seabra Pires +9 more
doaj +1 more source
JMIR Medical Informatics, 2021 BackgroundHealth research frequently requires manual chart reviews to identify patients in a study-specific cohort and examine their clinical outcomes.
Jordan McKenzie +4 more
doaj +1 more source
3D VISUALIZATION OF MANGROVE AND AQUACULTURE CONVERSION IN BANATE BAY, ILOILO [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2017 Studies have shown that mangrove forests in the Philippines have been drastically reduced due to conversion to fishponds, salt ponds, reclamation, as well as other forms of industrial development and as of 2011, Iloilo’s 95 % mangrove forest was ...
G. A. Domingo +6 more
doaj +1 more source
Parallel Extraction of Program Analysis Information on LLVM Based on GPU [PDF]
Jisuanji gongcheng, 2017 Low Level Virtual Machine(LLVM) Intermediate Representation(IR) contains a lot of original program analysis information.The traditional information extraction method is based on the serial loop iterations under CPU.When dealing with large-scale programs ...
MA Dongdong,ZHONG Lujie,ZHU Jingru
doaj +1 more source
Program Extraction from Normalization Proofs [PDF]
Studia Logica, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Berger, Ulrich +3 more
openaire +7 more sources
Crataegus oxyacantha Extract as a Biostimulant to Enhance Tolerance to Salinity in Tomato Plants
Plants, 2022 Salinity is a severe abiotic problem that has harmful impacts on agriculture. Recently, biostimulants were defined as bioprotectant materials that promote plant growth and improve productivity under various stress conditions.
Imane Naboulsi +7 more
doaj +1 more source
Application of ACD/LABS 12 program for determination of conditions for experimental membrane extraction of pesticides [PDF]
Hemijska Industrija, 2010 This paper analyzes the conditions for membrane extraction of pesticides using ACD / LABS 12 program. The program contains a large database of more than 2000 compounds and their ionized species, for determining the pKa, further analysis includes 600 new ...
Đorđević J. +3 more
doaj +1 more source
Yield of essential oil and safrole content based on fresh and dry biomass of long pepper in the Brazilian Amazon [PDF]
Acta Amazonica, 2015 Long pepper (Piper hispidinervum) is an Amazonian species of commercial interest due to the production of safrole. Drying long pepper biomass to extract safrole is a time consuming and costly process that can also result in the contamination of the ...
Jacson Rondinelli da Silva NEGREIROS +2 more
doaj +2 more sources