Results 61 to 70 of about 1,643,554 (351)
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
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
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD [PDF]
ICTACT Journal on Soft Computing, 2015 The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product.
A. Jalila, D. Jeya Mala
doaj
Lessons Learned: Quality Analysis of Optical Coherence Tomography in Neuromyelitis Optica
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction Optical coherence tomography (OCT)‐derived retina measurements are markers for neuroaxonal visual pathway status. High‐quality OCT scans are essential for reliable measurements, but their acquisition is particularly challenging in eyes with severe visual impairment, as often observed in neuromyelitis optica spectrum disorders ...
Hadi Salih +40 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
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
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
Leveraging rust types for modular specification and verification
Proc. ACM Program. Lang., 2019 Rust's type system ensures memory safety: well-typed Rust programs are guaranteed to not exhibit problems such as dangling pointers, data races, and unexpected side effects through aliased references. Ensuring correctness properties beyond memory safety,
Vytautas Astrauskas +3 more
semanticscholar +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick +14 more
wiley +1 more source