Results 51 to 60 of about 248,441 (319)
Ecology and Evolution, 2021 Seafloor characteristics can help in the prediction of fish distribution, which is required for fisheries and conservation management. Despite this, only 5%–10% of the world's seafloor has been mapped at high resolution, as it is a time‐consuming and ...
Marcela Montserrat Landero Figueroa +5 more
doaj +1 more source
First-Order Interpolation and Interpolating Proof Systems
EPiC Series in Computing, 2018 It is known that one can extract Craig interpolants from so-called localproofs. An interpolant extracted from such a proof is a booleancombination of formulas occurring in the proof. However, standard completeproof systems, such as superposition, for theories having the interpolationproperty are not necessarily complete for local proofs: there are ...
Kovacs, Laura, Voronkov, Andrei
openaire +2 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
Comparison of Cloud-Filling Algorithms for Marine Satellite Data
Remote Sensing, 2020 Marine remote sensing provides comprehensive characterizations of the ocean surface across space and time. However, cloud cover is a significant challenge in marine satellite monitoring.
Andy Stock +7 more
doaj +1 more source
The subspace Nevanlinna interpolation problem and the most powerful unfalsified model [PDF]
, 1997 A generalization of the tangential Nevanlinna interpolation problem will be studied from a behavioral point of view. Necessary and sufficient conditions for its solvability and a characterization of art its solutions are derived.
Willems, JC +3 more
core +1 more source
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source
A study of interpolation method in diagnosis of carpal tunnel syndrome
Annals of Indian Academy of Neurology, 2013 Context: The low correlation between the patients′ signs and symptoms of carpal tunnel syndrome (CTS) and results of electrodiagnostic tests makes the diagnosis challenging in mild cases.
Alireza Ashraf +4 more
doaj +1 more source
Range Restricted Interpolation Using Cubic Bézier Triangles. [PDF]
, 2004 A range restricted C1 interpolation local sheme to scattered data is ...
Ong, B. H. +9 more
core