Results 61 to 70 of about 494,717 (236)
PLoS ONEFormal verification ensures software correctness but faces challenges in kernel specification writing, which is labor-intensive, expertise-dependent, and limited to specific targets.
Zi Wang +4 more
doaj +1 more source
Meta‐analysis fails to show any correlation between protein abundance and ubiquitination changes
FEBS Open Bio, EarlyView.We analyzed over 50 published proteomics datasets to explore the relationship between protein levels and ubiquitination changes across multiple experimental conditions and biological systems. Although ubiquitination is often associated with protein degradation, our analysis shows that changes in ubiquitination do not globally correlate with changes in ...
Nerea Osinalde +3 more
wiley +1 more source
Study on OSPF Algebraic Formal Modelling Using ACP
Elektronika ir Elektrotechnika, 2018 OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of ...
Pedro Juan Roig +3 more
doaj +1 more source
Towards the Formal Specification and Verification of Maple Programs
, 2012 In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt +5 more
core +1 more source
FEBS Open Bio, EarlyView.In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes +32 more
wiley +1 more source
Ontology Assisted Formal Specification Extraction from Text
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 In the field of knowledge processing, the ontologies are the most important mean. They make possible for the computer to understand better the natural language and to make judgments.
Andreea Mihis
doaj
Cutaneous Melanoma Drives Metabolic Changes in the Aged Bone Marrow Immune Microenvironment
Aging and Cancer, EarlyView.Melanoma, the deadliest form of skin cancer, increasingly affects older adults. Our study reveals that melanoma induces changes in iron and lipid levels in the bone marrow, impacting immune cell populations and increasing susceptibility to ferroptosis.
Alexis E. Carey +12 more
wiley +1 more source
Formalisation of the sofware component ontology specification
Lietuvos Matematikos Rinkinys, 2005 This paper is devoted to the development and specification problems of software component ontology. The formalisation of the proposed component ontology is presented, too. The choice of ontology interpretation is motivated.
Lina Bagušytė, Audronė Lupeikienė
doaj +3 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein +7 more
wiley +1 more source
Model‐based validation of diagnostic software with application in automotive systems
IET Cyber-systems and Robotics, 2021 Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj +1 more source