Results 111 to 120 of about 1,603,370 (304)
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
Two Dimensional Principal Component Analysis for Online Tamil Character Recognition
, 2008 This paper presents a new application of two dimensional Principal Component Analysis (2DPCA) to the problem of online character recognition in Tamil Script.
Ramakrishnan, AG, Sundaram, Suresh
core
Molecular Oncology, EarlyView.BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 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
On local bifurcations in neural field models with transmission delays
, 2013 Neural fieldmodels with transmission delays may be cast as abstract delay differential equations (DDE). The theory of dual semigroups (also called sun-star calculus) provides a natural framework for the analysis of a broad class of delay equations, among
Janssens, S.G. +5 more
core +1 more source
FEBS Open Bio, EarlyView.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
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering captures how proteins change shape in real time under near‐native conditions. This article presents a practical workflow for light‐triggered TR‐XSS experiments, from data collection to structural refinement. Using a calcium‐transporting membrane protein as an example, the approach can be broadly applied to study ...
Fatemeh Sabzian‐Molaei +3 more
wiley +1 more source
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.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
A three-dimensional hydro-environmental model of Dublin Bay
, 2011 This paper compares a 3-dimensional hydro-ecological model with a 2-dimensional model simulating the distribution and fate of Escherichia Coli (E.Coli) discharges from a sewage treatment plant discharging into Dublin Bay, Ireland. Before being discharged,
Dowley, Aodh +3 more
core +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source