Results 21 to 30 of about 7,269,595 (295)
A Normalizing Intuitionistic Set Theory with Inaccessible Sets [PDF]
Logical Methods in Computer Science, 2007 We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs.
Wojciech Moczydlowski
doaj +1 more source
Evaluation of Cherts in Gumushane Province in Terms of Alkali Silica Reaction
BuildingsAlkali–silica reaction (ASR) occurs when alkali oxides coming from the cement composition in concrete come together with reactive silica and moisture coming from the aggregate.
Demet Demir Şahin
doaj +1 more source
SoCodeCNN: Program Source Code for Visual CNN Classification Using Computer Vision Methodology
IEEE Access, 2019 Automated feature extraction from program source-code such that proper computing resources could be allocated to the program is very difficult given the current state of technology.
Somdip Dey +3 more
doaj +1 more source
Automatic Extraction of Gravity Waves from All-Sky Airglow Image Based on Machine Learning
Remote Sensing, 2019 With the development of ground-based all-sky airglow imager (ASAI) technology, a large amount of airglow image data needs to be processed for studying atmospheric gravity waves. We developed a program to automatically extract gravity wave patterns in the
Chang Lai +6 more
doaj +1 more source
Research on Device Modeling Technique Based on MLP Neural Network for Model Parameter Extraction
Applied Sciences, 2022 The parameter extraction of device models is critically important for circuit simulation. The device models in the existing parameter extraction software are physics-based analytical models, or embedded Simulation program with integrated circuit emphasis
Haixia Kang +3 more
doaj +1 more source
The SX Solver: A New Computer Program for Analyzing Solvent-Extraction Equilibria. [PDF]
, 1999 A new computer program, the SX Solver, has been developed to analyze solvent-extraction equilibria. The program operates out of Microsoft Excel{reg_sign} and uses the built-in ''Solver'' function to minimize the sum of the square of the residuals between
Rapko, Brian M +2 more
core +2 more sources
FoodsFor bioactivity studies, it is necessary to use products with a high degree of purity, which may influence the cytotoxic effects. Supercritical technology presents itself as an alternative to obtain these products.
Letícia Maria Martins Siqueira +9 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Latino children are projected to make up nearly one‐third of United States (US) children by 2060, and many of their caregivers speak Spanish. Prior survey research has documented communication difficulties for Spanish‐speaking caregivers of children with cancer, but contemporary qualitative data are limited.
Jenny Ruiz +6 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric intramedullary low‐grade gliomas (PIMLGGs) are rare neoplasms that present unique clinical and management challenges. Although surgery remains the primary tool for tissue diagnosis and decompression, complete gross‐total resection is frequently unfeasible due to the infiltrative nature of these lesions.
Olga M. Sergeenko +5 more
wiley +1 more source
From Meliponary to Science: Quality and Properties of Scaptotrigona aff. postica Pollen
Journal of Food QualityBee pollen is a superfood with high nutritional and functional values, and its quality can be influenced by factors such as particle size and processing.
Adriane Gomes da Silva +6 more
doaj +1 more source