Results 121 to 130 of about 8,638,029 (373)
Database Instances, Abstract Data Types and Database Specification [PDF]
, 1985 T. S. E. Maibaum
openalex +1 more source
Nondeterminism in abstract data types [PDF]
, 1981 A nondeterministic operation is characterized by the fact that its application to a given set of parameters can yield any one of several possible outcomes. This paper discusses ways to specify, implement, and reason about nondeterministic operations in the context of abstract (algebraic) data types.
openaire +1 more source
FEBS Open Bio, EarlyView.The tumor microenvironment is a dynamic, multifaceted complex system of interdependent cellular, biochemical, and biophysical components. Three‐dimensional in vitro models of the tumor microenvironment enable a better understanding of these interactions and their impact on cancer progression and therapeutic resistance.
Salma T. Rafik +3 more
wiley +1 more source
UFL: An Experimental Frame Language Based on Abstract Data Types [PDF]
, 1986 S. Young
openalex +1 more source
FEBS Open Bio, EarlyView.d‐Allulose can be produced from d‐fructose by d‐allulose 3‐epimerase. Based on sequence homology information, we successfully engineered thermostable mutants with the protein engineering method. By integrating positive mutations, we constructed an enzyme that exhibits hyperthermostability without a loss in the activity.
Kensaku Shimada +3 more
wiley +1 more source
Programming languages considered as abstract data types [PDF]
, 1980 J. Craig Cleaveland
openalex +1 more source
Sparse Automatic Differentiation for Large-Scale Computations Using Abstract Elementary Algebra
, 2015 Most numerical solvers and libraries nowadays are implemented to use mathematical models created with language-specific built-in data types (e.g. real in Fortran or double in C) and their respective elementary algebra implementations.
Klus, Stefan, Peles, Slaven
core
Current trends in single‐cell RNA sequencing applications in diabetes mellitus
FEBS Open Bio, EarlyView.Single‐cell RNA sequencing is a powerful approach to decipher the cellular and molecular landscape at a single‐cell resolution. The rapid development of this technology has led to a wide range of applications, including the detection of cellular and molecular mechanisms and the identification and introduction of novel potential diagnostic and ...
Seyed Sajjad Zadian +6 more
wiley +1 more source
Traffic prediction for diverse edge IoT data using graph network
Journal of Cloud Computing: Advances, Systems and ApplicationsMore researchers are proposing artificial intelligence algorithms for Internet of Things (IoT) devices and applying them to themes such as smart cities and smart transportation. In recent years, relevant research has mainly focused on data processing and
Tao Shen +4 more
doaj +1 more source
The algorithmic specification method of abstract data types: an overview [PDF]
, 1986 Jacques Loeckx
openalex +1 more source