Results 71 to 80 of about 1,590,113 (289)
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
FEBS Open Bio, EarlyView.Lactoferrin promotes wound healing by activating MAPK, PI3K/Akt, and extracellular matrix pathways, enhancing fibroblast remodeling, proliferation, and re‐epithelialization. These mechanisms highlight its therapeutic potential in inflammation control, tissue repair, and remodeling.
Morgana Lüdtke Azevedo +4 more
wiley +1 more source
Protocol for quantifying miRNA trafficking across the endosomal membrane
FEBS Open Bio, EarlyView.An in vitro protocol measures miRNA uptake into endosomes isolated from mammalian cell extracts, which are free of subcellular contaminants. Performed at 37 °C in the presence of ATP, it ensures the import of single‐stranded miRNA into the endosomal lumen.
Syamantak Ghosh +2 more
wiley +1 more source
BCG vaccination potentiates oxidative phosphorylation in neonatal myeloid‐derived suppressor cells
FEBS Open Bio, EarlyView.BCG vaccination enhances oxidative phosphorylation in neonatal MDSCs, impairing their immunosuppressive function. It upregulates electron transport chain genes and mitochondrial activity, increasing ATP and oxygen consumption. Pharmacological OXPHOS inhibition partially restores suppressive capacity, confirming causality.
Yingying Chen, Hui Li
wiley +1 more source
The formal specification of a blackboard framework [PDF]
The blackboard architecture is a complex, though powerful, model of problem-solving, and opinions vary as to its interpretation. The use of formal specifications for blackboard systems appears warranted by their complexity, their application in real-time
Craig, Iain D.
core
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Formal specification of object systems [PDF]
, 1991 The conceptual modeling of the Universe of Discourse (UoD) is an important phase for the development of information systems because the conceptual model is the basis for system development. Conceptual model specifications must be formal in order to be precise and unambiguous and to support consistency and completeness checks.
Ralf Jungclaus +2 more
openaire +2 more sources
Relationship Between Neurologic Symptoms and Signs and FMR1 Genotype in Premutation Carriers
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Objectives Fragile X‐associated Tremor/Ataxia Syndrome (FXTAS) is the most severe late‐onset condition caused by a premutation in the FMR1 gene, characterized by expanded CGG triplet repeats of 55–200. Clinical presentations of FXTAS, including gait ataxia, kinetic tremor, cognitive decline, and rare Parkinsonism, are linked to ...
Flora Tassone +8 more
wiley +1 more source
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
, 2020 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng +4 more
wiley +1 more source