Results 61 to 70 of about 8,751,229 (374)
Analysis and synthesis of abstract data types through generalization from examples [PDF]
The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems.
Wild, Christian
core +4 more sources
Scientific DataSince the initial release of the Chemical and Products Database (CPDat) in 2018, the United States Environmental Protection Agency has added a considerable amount of chemical exposure-related information to the database and has expanded its schema to ...
Sakshi Handa +11 more
doaj +1 more source
The rational numbers as an abstract data type
Journal of the ACM, 2007 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
FoxO1 signaling in B cell malignancies and its therapeutic targeting
FEBS Letters, EarlyView.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
Algebraic implementation of abstract data types
Theoretical Computer Science, 1982 AbstractStarting with a review of the theory of algebraic specifications in the sense of the ADJ-group a new theory for algebraic implementations of abstract data types is presented.While main concepts of this new theory were given already at several conferences this paper provides the full theory of algebraic implementations developed in Berlin except
Hans-Jörg Kreowski +3 more
openaire +2 more sources
FEBS Letters, EarlyView.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
Grey Box Data Refinement [PDF]
, 1998 We introduce the concepts of grey box and display box data types. These make explicit the idea that state variables in abstract data types are not always hidden.
Boiten, Eerke Albert, Derrick, John
core +1 more source
Genome Biology, 2021 Single-cell and bulk genomics assays have complementary strengths and weaknesses, and alone neither strategy can fully capture regulatory elements across the diversity of cells in complex tissues.
Pawel F. Przytycki, Katherine S. Pollard
doaj +1 more source
FEBS Letters, EarlyView.Three‐dimensional (3D) biological systems have become key tools in lymphoma research, offering reliable in vitro and ex vivo platforms to explore pathogenesis and support precision medicine. This review highlights current 3D non‐Hodgkin lymphoma models, detailing their features, advantages, and limitations, and provides a broad perspective on future ...
Carla Faria +3 more
wiley +1 more source
Data types, abstract data types and their specification problem
Theoretical Computer Science, 1979 AbstractA formal framework is proposed for discussing the algebraic properties of data types. In particular, the specification problem, i.e. the problem how a particular data type can be finitely specified, is discussed. Denotational and operational approaches are compared.
openaire +2 more sources