Results 121 to 130 of about 193,599 (260)
A formal theory of conceptual modeling universals [PDF]
, 2004 Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo +2 more
core +3 more sources
British Journal of Pharmacology, EarlyView.Background and Purpose Human adenovirus (HAdV) causes respiratory or gastrointestinal tract infections depending on the virus subtype. While HAdV infections are generally self‐limiting in immunocompetent people, they can result in significant morbidity and mortality in immunocompromised adults and children.
Mohamed Zamzamy +16 more
wiley +1 more source
Human FASTK preferentially binds single‐stranded and G‐rich RNA
The FEBS Journal, EarlyView.Although FASTK is known to play a role in mRNA biology, the mechanism through which it recognizes RNA has yet to be unraveled. Here, we used purified human FASTK to characterize its RNA‐binding properties in vitro. We found that FASTK prefers ssRNA oligonucleotides containing guanines with the potential to form G‐quadruplexes and binds robustly to any ...
Daria M. Dawidziak +7 more
wiley +1 more source
The FEBS Journal, EarlyView.Recent studies emphasize alternative functions of FTH1 relevant for nuclear processes, such as transcriptional regulation. This study shows a novel FTH1/BRD2 association in non‐small cell lung carcinoma (NSCLC). This nuclear interaction affects BRD2 protein stability in aggressive NSCLC cells.
Stefania Scicchitano +9 more
wiley +1 more source
The FEBS Journal, EarlyView.Ferredoxin‐dependent flavin thioredoxin reductases (FFTRs) regenerate reduced thioredoxin, sustaining dithiol–disulfide exchange reactions that regulate protein activity in select organisms. In cyanobacterial FFTRs, we describe the formation of a thiolate–flavin charge transfer complex, asynchronous reduction of the two FAD cofactors within the ...
Martha Minjarez‐Saenz +8 more
wiley +1 more source
Specification language for automatа-based objects cooperation
Научно-технический вестник информационных технологий, механики и оптикиAutomata-based programming is a programming paradigm that has been successfully used in the development of reactive systems, distributed control systems, and various mission-critical applications where the ability to verify the compliance of a real ...
F. A. Novikov +3 more
doaj +1 more source
The FEBS Journal, EarlyView.Heteromeric cis‐prenyltransferases (CPT) are indispensable for dolichol synthesis and protein N‐glycosylation in most eukaryotes. The catalytic subunits are strongly conserved throughout evolution, in contrast to the evolutionarily variable accessory subunits. The POC1 protein from Paramecium tetraurelia is the smallest identified CPT‐accessory subunit
Agnieszka Onysk +8 more
wiley +1 more source
Extension to UML-B Notation and Toolset
, 2006 The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation currently only supports a basic diagram set.
Amor, James +2 more
core