Results 101 to 110 of about 651,436 (309)
Translating Generalized Algebraic Data Types to System F [PDF]
Generalized algebraic data types (GADTs) extend ordinary algebraic data types by refining the types of constructors with syntactic equality constraints.
Sulzmann, Martin, Wang, Meng
core
FEBS Open Bio, EarlyView.The dual roles of CC and CXC chemokines in distinguishing active, latent, and subclinical tuberculosis were reviewed, along with an evaluation of their potential as diagnostic biomarkers and therapeutic targets to advance precision medicine in tuberculosis management. The graphical abstract was generated with AI assistance (Gemini 3.0).
Xuying Yin, Dangsheng Xiao, Jiezuan Yang
wiley +1 more source
Inferences for Exponentiated Gamma Constant-Stress Partially Accelerated Life Test Model Based on Generalized Type-I Hybrid Censored Data. [PDF]
Comput Intell Neurosci, 2021 Rabie A +5 more
europepmc +1 more source
Inferring Type Isomorphisms Generically [PDF]
, 2004 Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved.
Atanassow, F., Jeuring, J.T.
openaire +3 more sources
Generalized permutation patterns - a short survey
, 2010 An occurrence of a classical pattern p in a permutation π is a subsequence of π whose letters are in the same relative order (of size) as those in p.
Steingrimsson, Einar
core
GTI-space : the space of generalized topological indices
, 2008 A new extension of the generalized topological indices (GTI) approach is carried out torepresent 'simple' and 'composite' topological indices (TIs) in an unified way.
Matamala, A.R. +5 more
core +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Generalized Composition Operators on Zygmund-Orlicz Type Spaces and Bloch-Orlicz Type Spaces
Journal of Function Spaces, 2014 The boundedness and compactness of generalized composition operators on Zygmund-Orlicz type spaces and Bloch-Orlicz type spaces are established in this paper.
Congli Yang, Fangwei Chen, Pengcheng Wu
doaj +1 more source
Classification Theorems of Ruled Surfaces in Minkowski Three-Space
Mathematics, 2018 By generalizing the notion of the pointwise 1-type Gauss map, the generalized 1-type Gauss map has been recently introduced. Without any assumption, we classified all possible ruled surfaces with the generalized 1-type Gauss map in a 3-dimensional ...
Miekyung Choi, Young Ho Kim
doaj +1 more source
Paradigmatic well posedness in some generalized characteristic Cauchy problems [PDF]
By means of convenient regularization for an ill posed Cauchy problem, we deï¬ne an associated generalized problem and discuss the conditions for the solvability of it.
Emmanuel Allaud +4 more
core