Results 31 to 40 of about 9,706,454 (336)
Are There Good Mistakes? A Theoretical Analysis of CEGIS
, 2014 Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But the technique
Jha, Susmit, Seshia, Sanjit A.
core +2 more sources
Synthesis of all-digital delay lines [PDF]
, 2017 © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new ...
Cortadella, Jordi, Moreno Vega, Alberto
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Surveillance imaging aims to detect tumour relapse before symptoms develop, but it's unclear whether earlier detection of relapse leads to better outcomes in children and young people (CYP) with medulloblastoma and ependymoma. This systematic review aims to identify relevant literature to determine the efficacy of surveillance magnetic ...
Lucy Shepherd +3 more
wiley +1 more source
Czech Journal of Food Sciences, 2001 Antioxidants with 1,4-dihydropyridine structure were investigated as a less harmful alternative to synthetic phenolic antioxidants in liposomes under conditions simulating food storage.
G. Tirzitis, D. Tirzite, Z. Hyvonen
doaj +1 more source
, 2019 Materials science literature contains millions of materials synthesis procedures described in unstructured natural language text. Large-scale analysis of these synthesis procedures would facilitate deeper scientific understanding of materials synthesis ...
Chang, Haw-Shiuan +8 more
core +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Scientific Data, 2022 Measurement(s) Population Density Technology Type(s) satellite imaging Sample Characteristic - Organism Homo sapiens Sample Characteristic - Environment populated place Sample Characteristic - Location contiguous United States of ...
Rachel H. Swanwick +5 more
doaj +1 more source
Electrospray synthesis of PLGA TIPS microspheres [PDF]
, 2015 We successfully demonstrate the synthesis of polymer microspheres using a single electrospray source, and show their physical characterisation. Electrospray has proven to be a versatile method to manufacture particles, giving tight control over size with
Bowen, J. +6 more
core
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source
Application of Permutation Group Theory in Reversible Logic Synthesis
, 2016 The paper discusses various applications of permutation group theory in the synthesis of reversible logic circuits consisting of Toffoli gates with negative control lines.
CH Bennett +8 more
core +1 more source