Results 81 to 90 of about 169,139 (307)
Prime Filters and Ideals in Distributive Lattices [PDF]
Formalized Mathematics, 2013 Summary. The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the Mizar Mathematical Library, there are some attempts to formalize prime ideals and filters; one series of articles written as decoding [9] proven some results; we tried however to follow [21], [
openaire +2 more sources
Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma
Molecular Oncology, EarlyView.The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic +5 more
wiley +1 more source
Distributed Extended Kalman Filtering for Wastewater Treatment Processes
, 2016 A wastewater treatment plant is a large-scale nonlinear system including a series of biological reactors and a settler. In this work, we propose a distributed state estimation scheme for wastewater treatment processes in the context of extended Kalman ...
Zeng, Jing +3 more
core +1 more source
Blind-Matched Filtering for Speech Enhancement with Distributed Microphones
Journal of Electrical and Computer Engineering, 2012 A multichannel noise reduction and equalization approach for distributed microphones is presented. The speech enhancement is based on a blind-matched filtering algorithm that combines the microphone signals such that the output SNR is maximized.
Sebastian Stenzel, Jürgen Freudenberger
doaj +1 more source
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Robust fault detection for networked systems with distributed sensors
, 2011 Copyright [2011] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services.
Zidong Wang +7 more
core +1 more source
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
IEEE Access, 2017 As an important part of the Internet of Energy, a complex access environment, flexible access modes and a massive number of access terminals, dynamic, and distributed mass data in an active distribution network will bring new challenges to the security ...
Song Deng +3 more
doaj +1 more source
Molecular Oncology, EarlyView.Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau +8 more
wiley +1 more source
PENG: integrated search of distributed news archives
, 2006 The PENG system is intended to provide an integrated and personalized environment for news professionals, providing functionalities for filtering, distributed retrieval, and a flexible interface environment for the display and manipulation of news ...
Crestani, F., Baillie, M., Landoni, M.
core