Results 91 to 100 of about 927,975 (312)
IEEE Access, 2018 This paper discusses the L2 - L∞ filter design problem for non-linear two-dimensional (2-D) uncertain continuous systems with state delays and saturation.
Zhaoxia Duan +4 more
doaj +1 more source
Abstract Proof by induction is commonplace in modern mathematics and computational logic. This paper overviews and discusses our recent results in turning saturation-based first-order theorem proving into a powerful framework for automating inductive reasoning.
Laura Kovács +3 more
openaire +1 more source
Using oxygen isotopes to quantitatively assess residual CO2 saturation during the CO2CRC Otway Stage 2B Extension residual saturation test [PDF]
, 2016 Residual CO2 trapping is a key mechanism of secure CO2 storage, an essential component of the Carbon Capture and Storage technology. Estimating the amount of CO2 that will be residually trapped in a saline aquifer formation remains a significant ...
Boreham, Christopher J. +15 more
core +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Journal of Pathology Informatics, 2010 Objective : The objective of this paper is to improve the visualization and detection of tissue folds, which are prominent among tissue slides, from the pre-scan image of a whole slide image by introducing a color enhancement method that enables the ...
Pinky A Bautista, Yukako Yagi
doaj +1 more source
Getting Saturated with Induction
, 2022 Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we survey our work on integrating induction directly into the saturation-based proof search framework of first-order theorem proving.
Márton Hajdú +4 more
openaire +2 more sources
Detuning and saturation of superconducting devices: formulation and measurements [PDF]
, 2007 Saturation and detuning of high temperature superconducting (HTS) resonators and filters may occur due to the inherent nonlinear properties of the superconductor.
Collado Gómez, Juan Carlos +3 more
core +1 more source
Molecular Oncology, EarlyView.The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka +9 more
wiley +1 more source
FEBS Open Bio, EarlyView.This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake +4 more
wiley +1 more source
PhotonicsIn this paper, a data processing approach was developed to accurately extract the ring-down time and amplitude of the saturated cavity ring-down (CRD) signal; both were utilized to determine simultaneously the high reflectance and residual transmittance ...
Yanling Han +4 more
doaj +1 more source