Results 31 to 40 of about 33,954 (218)
The Transrational Numbers as an Abstract Data Type [PDF]
In an arithmetical structure one can make division a total function by defining 1/0 to be an element of the structure, or by adding a new element, such as an error element also denoted with a new constant symbol, an unsigned infinity or one or both signed infinities, one positive and one negative. We define an enlargement of a field to a transfield, in
Bergstra, Jan+2 more
openaire +3 more sources
FoxO1 signaling in B cell malignancies and its therapeutic targeting
FoxO1 has context‐specific tumor suppressor or oncogenic character in myeloid and B cell malignancies. This includes tumor‐promoting properties such as stemness maintenance and DNA damage tolerance in acute leukemias, or regulation of cell proliferation and survival, or migration in mature B cell malignancies.
Krystof Hlavac+3 more
wiley +1 more source
A Framework for Extended Persistent Identification of Scientific Assets
Several scientific communities relying on e-science infrastructures are in need of persistent identifiers for data and contextual information. In this article, we present a framework for persistent identification that fundamentally supports context ...
Tobias Weigel+3 more
doaj +1 more source
B cells sense external mechanical forces and convert them into biochemical signals through mechanotransduction. Understanding how malignant B cells respond to physical stimuli represents a groundbreaking area of research. This review examines the key mechano‐related molecules and pathways in B lymphocytes, highlights the most relevant techniques to ...
Marta Sampietro+2 more
wiley +1 more source
Verification of Backtracking and Branch and Bound Design Templates
The Design and Analysis of Computer Algorithms is a must of Computer Curricula. It covers many topics that group around several core themes. These themes range from data structures to the complexity theory, but one very special theme is algorithmic ...
N. V. Shilov
doaj
TORC: Target-Oriented Reference Construction for supervised cell-type identification in scRNA-seq
Cell-type identification is a crucial step in single cell RNA-seq (scRNA-seq) data analysis, for which supervised methods are preferred due to their accuracy and efficiency.
Xin Wei, Wenjing Ma, Zhijin Wu, Hao Wu
doaj +1 more source
Both long‐term but small number of national stations and short‐term but large number of regional stations have been frequently used to study the extreme hourly precipitation (EXHP) in China.
Mengwen Wu+4 more
doaj +1 more source
The rational numbers as an abstract data type
We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just total field operations and 12 equations. A consequence of this specification is that 0 −1 = 0, an interesting equation consistent with the ring axioms and many properties of division.
Bergstra, J.A., Tucker, J.V.
openaire +6 more sources
Cyclic nucleotide signaling as a drug target in retinitis pigmentosa
Disruptions in cGMP and cAMP signaling can contribute to retinal dysfunction and photoreceptor loss in retinitis pigmentosa. This perspective examines the mechanisms and evaluates emerging evidence on targeting these pathways as a potential therapeutic strategy to slow or prevent retinal degeneration.
Katri Vainionpää+2 more
wiley +1 more source
Tipo abstracto de datos "Biblioteca" Library Abstract data type
Análisis de la descripción bibliográfica desde un punto de vista conceptual a partir de la especificación formal: tipo abstracto de datos "biblioteca". Se detallan otros abordajes usando el modelo entidad-relación y el lenguaje XML.
Silvana Temesio Vizoso
doaj