Results 91 to 100 of about 25,927,166 (251)
A type system for formal verification of cyber-physical systems C/C++ software
The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs.
Yuriy Manzhos, Yevheniia Sokolova
doaj +1 more source
Detection of Mitral Valve Diseases by Bicoherence Analysis of Heart Sound Signals
The analysis of 10 normal and 51 mitral valve pathology making a total of 61 heart sound signals that were obtained with Littmann 4100 Digital Stethoscope were conducted in this study.
AKGÜN, ÖMER
core +1 more source
Reprogramming tumor cells with LCOR mRNA nanotherapy to enhance immunotherapy
LCOR (Ligand‐dependent corepressor) mRNA encapsulated in polymeric nanoparticles restores LCOR activity in tumor cells, constraining aggressive tumor cell states and increasing tumor immunogenicity. This reprogramming makes tumor cells more vulnerable to T‐cell attack and enhances their response to immune‐checkpoint immunotherapy.
Gabriel Serra‐Mir +9 more
wiley +1 more source
Hybrid next-fit algorithm for the two-dimensional rectangle bin-packing problem [PDF]
We present a new approximation algorithm for the two-dimensional bin-packing problem. The algorithm is based on two one-dimensional bin-packing algorithms.
Frenk, J.B.G., Galambos, G.
core
Tumour‐proximal deep serum proteomics identifies biomarkers associated with ovarian cancer
New biomarkers are needed for early ovarian cancer detection. Ovarian (tumour‐proximal) and peripheral vein serum from healthy women and patients with benign or malignant tumours underwent nanoparticle‐enriched deep proteomics. Ovarian serum yielded more protein identifications and revealed tumour‐reflective signatures.
Darren Lau +9 more
wiley +1 more source
Dimensional analysis of food processes /
This book deals with the modeling of food processing using dimensional analysis. When coupled to experiments and to the theory of similarity, dimensional analysis is indeed a generic, powerful and rigorous tool making it possible to understand and model ...
Delaplace, Guillaume,author. +3 more
core
The impact of leukocyte‐associated RNA retention on platelet RNA‐based cancer detection
Platelets carry RNA signals that may help detect cancer, but platelet samples can also retain RNA from white blood cells. We found that this retained white blood cell signal did not significantly affect machine learning cancer classification, suggesting that the cancer‐related RNA signal in platelets is largely independent of leukocyte‐associated RNA ...
Michał Sieczczyński +12 more
wiley +1 more source
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source
RoundMi: A quantitative method to analyze mitochondrial morphology in mitotic cells
RoundMi is a workflow for rapid analysis of mitochondrial morphology in mitotic cells. By combining adaptive preprocessing with automated segmentation and quantification, it enables accurate measurements from single focal plane images, reducing acquisition time and computational demands while remaining compatible with high‐throughput fixed and live ...
Elmira Parvindokht Bararpour +2 more
wiley +1 more source

