Results 81 to 90 of about 1,958,921 (299)
Formalization of Matrix Theory in HOL4
Advances in Mechanical Engineering, 2014 Matrix theory plays an important role in modeling linear systems in engineering and science. To model and analyze the intricate behavior of complex systems, it is imperative to formalize matrix theory in a metalogic setting.
Zhiping Shi +6 more
doaj +1 more source
Some Transmuted Software Reliability Models
Journal of Mathematical Sciences and Modelling, 2019 The Hausdorff approximation of the shifted Heaviside function $h_{t_0}(t)$ by general transmuted family of cumulative distribution functions is studied and a value for the error of the best approximation is derived in this paper.
Asen Rahnev +3 more
doaj +1 more source
Software reliability experiments data analysis and investigation [PDF]
The objectives are to investigate the fundamental reasons which cause independently developed software programs to fail dependently, and to examine fault tolerant software structures which maximize reliability gain in the presence of such dependent ...
Caglayan, Alper K., Walker, J. Leslie
core +1 more source
FEBS Open Bio, EarlyView.Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li +8 more
wiley +1 more source
FEBS Open Bio, EarlyView.A regulatory axis involving APE1, AUF1, and miR‐221 is proposed. Pri‐miR‐221 is processed by DROSHA and DICER to generate mature miR‐221, which targets p27Kip1 mRNA. APE1 and AUF1 compete for pre‐miR‐221 binding. Reduced APE1/AUF1 levels impair miR‐221 biogenesis, decrease p27Kip1 mRNA degradation, and promote cell cycle progression, chemoresistance ...
Matilde Clarissa Malfatti +3 more
wiley +1 more source
Fracture and Structural Integrity, 2023 S-N curve fatigue samples of titanium alloy welded joints have such a comparatively significant scatter, that results in the issue that the fatigue life prediction accuracy is not optimal.
Yangjinyu Li, Li Zou, Zhengjie Zhu
doaj
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
Software reliability model of open source software based on the decreasing trend of fault introduction. [PDF]
PLoS One, 2022 Wang J, Zhang C, Yang J.
europepmc +1 more source
Optimal Release Time Decision from Fuzzy Mathematical Programming Perspective
, 2015 Demand for high software reliability requires rigorous testing followed by requirement of robust modeling techniques for software quality prediction. On one side, firms have to steadily manage the reliability by testing it vigorously, the optimal release
Agarwal, Mohini +3 more
core +1 more source