Results 11 to 20 of about 7,269,595 (295)
Enhanced Realizability Interpretation for Program Extraction [PDF]
, 2021 This thesis presents Intuitionistic Fixed Point Logic (IFP), a schema for formal systems aimed to work with program extraction from proofs. IFP in its basic form allows proof construction based on natural deduction inference rules, extended by induction and coinduction.
Olga Petrovska, null null
openaire +4 more sources
BUMC Development Program News [PDF]
, 1965 Newsletter of the Boston University Medical Center Development Program from the ...
Boston University Medical Center Development Program
core +7 more sources
, 2012 Nutrition/Dietetics Program Action PlanNutrition/Dietetics Program Action PlanNutrition/Dietetics Program - Academic Program ...
Nutrition/Dietetics Program, Action Plan +1 more
core +4 more sources
First Chemical Evaluation and Toxicity of Casinga-cheirosa to Balb-c Male Mice
Molecules, 2014 Laetia suaveolens, known as “casinga-cheirosa”, crude extract EB719 has previously shown cytotoxic activity against prostate cancer and squamous cell carcinoma.
Dirce M. Estork +9 more
doaj +1 more source
Trigit: A free web application for rapid colorimetric analysis of images
Biosensors and Bioelectronics: X, 2023 Color visualization is one of the fundamental aspects in advancing many scientific fields. For example, monitoring color change has been used to identify abnormalities in health, environmental, water, agricultural, and food quality. Human color vision is
Angie Davina Tjandra +2 more
doaj +1 more source
IEEE Access, 2020 When dealing with different programs or applications, it is necessary to select the appropriate compilation optimization pass or subsequence for the program.
Jiang Wu +5 more
doaj +1 more source
Research on auxiliary training system of oral English pronunciation based on data extraction
SN Applied Sciences, 2023 Due to the limitations of the language environment and other aspects, students generally have problems such as inaccurate English pronunciation in oral English learning.
Xiaomei Qin
doaj +1 more source
BUMC Development Program News [PDF]
, 1968 Newsletter of the Boston University Medical Center Development Program from the ...
Boston University Medical Center Development Program
core +3 more sources
Journal of Oral and Maxillofacial Radiology, 2022 Background: In recent years, an artificial intelligence (AI) software “DentalSCOPE” for alveolar bone density based on image density of intraoral radiography was developed.
Eizaburo Kobayashi +4 more
doaj +1 more source
Liquid-liquid extraction with and without a chemical reaction [PDF]
, 2011 The extraction of mercaptans with alkaline solution is accompanied by a second- order instantaneous reaction. As explained in Section 2.2, in this case, the mass transfer coefficients can be calculated as for the physical extraction, since the mass ...
Claudia Irina Koncsag +4 more
core +1 more source