Results 61 to 70 of about 8,638,029 (373)
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
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
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
Cyclic nucleotide signaling as a drug target in retinitis pigmentosa
FEBS Letters, EarlyView.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
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.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
Predicate Abstraction for Linked Data Structures
, 2015 We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often ...
A Ahmed +18 more
core +1 more source
From omics to AI—mapping the pathogenic pathways in type 2 diabetes
FEBS Letters, EarlyView.Integrating multi‐omics data with AI‐based modelling (unsupervised and supervised machine learning) identify optimal patient clusters, informing AI‐driven accurate risk stratification. Digital twins simulate individual trajectories in real time, guiding precision medicine by matching patients to targeted therapies.
Siobhán O'Sullivan +2 more
wiley +1 more source
Mutation Clusters from Cancer Exome
, 2017 We apply our statistically deterministic machine learning/clustering algorithm *K-means (recently developed in https://ssrn.com/abstract=2908286) to 10,656 published exome samples for 32 cancer types.
Kakushadze, Zura, Yu, Willie
core +1 more source