Results 71 to 80 of about 934,075 (313)
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
Guidelines for enhancing learning curiosity of non-formal student using daily life context
SHS Web of Conferences, 2016 The purposes of this study were: to study learning curiosity within student, teacher and administrators, and to suggest the student of non-formal education learning curiosity by using daily life context.
Mongkondaw Ornwipa, Supanyoot Weerachat
doaj +1 more source
A Formal Framework for Metamodeling in the Context of MDE [PDF]
Journal of Universal Computer ScienceMetamodeling is a central concept in Model Driven Engineering (MDE). An important consideration in metamodeling is that secure metamodels are a prerequisite for secure software, since errors in a metamodel lead to errors in its instances (models). Formal
Liliana Favre
doaj +3 more sources
Specification and Verification of Context-dependent Services [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract.
Naseem Ibrahim +2 more
doaj +1 more source
Simple Undirected Graphs as Formal Contexts [PDF]
, 2015 The adjacency matrix of a graph is interpreted as a formal context. Then, the counterpart of Formal Concept Analysis (FCA) tools are introduced in graph theory. Moreover, a formal context is seen as a Boolean information table, the structure at the basis of Rough Set Theory (RST). Hence, we also apply RST tools to graphs.
Giampiero Chiaselotti +2 more
openaire +2 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024
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
Topological Properties of Rough Soft Formal Context
, 2014 In this paper, the topological structure is discussed in the rough soft formal context. The rough soft formal context is defined on the rough formal context with some soft operators, the topology and the topological space are given in the rough soft ...
Li Fu
core +1 more source
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
Attribute Reduction Based on Property Pictorial Diagram
The Scientific World Journal, 2014 This paper mainly studies attribute reduction which keeps the lattice structure in formal contexts based on the property pictorial diagram. Firstly, the property pictorial diagram of a formal context is defined.
Qing Wan, Ling Wei
doaj +1 more source
Molecular Oncology, EarlyView.We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu +10 more
wiley +1 more source