Results 1 to 10 of about 5,273,188 (324)
Conflict-free Replicated Data Types (CRDTs) [PDF]
A conflict-free replicated data type (CRDT) is an abstract data type, with a well defined interface, designed to be replicated at multiple processes and exhibiting the following properties: (1) any replica can be modified without coordinating with another replicas; (2) when any two replicas have received the same set of updates, they reach the same ...
Nuno M. Preguiça+2 more
arxiv +3 more sources
Program Synthesis by Type-Guided Abstraction Refinement [PDF]
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the query. Classical approaches based on proof search in intuitionistic logics do not scale up to the standard libraries of modern languages, which span hundreds or thousands of ...
Zheng Guo+6 more
arxiv +3 more sources
Purpose To explore the association of genes in “PD-L1 expression and PD-1 check point pathway in cancer” to radiotherapy survival benefit. Methods and materials Gene expression data and clinical information of cancers were downloaded from TCGA ...
Junjie Shen+8 more
doaj +1 more source
. We present a global multiyear height-resolved data set of aerosol-type-specific cloud condensation nuclei concentrations (nCCN) estimated from the spaceborne lidar aboard the Cloud-Aerosol Lidar and Infrared Pathfinder Satellite Observation (CALIPSO ...
Goutam Choudhury, M. Tesche
semanticscholar +1 more source
Objectives The purpose of this data set is to capture the complete diurnal (i.e., daily) transcriptome of fully expanded third leaves from the C4 panacoid grasses sorghum (Sorghum bicolor), maize (Zea mays), and foxtail millet (Setaria italica) with RNA ...
Xianjun Lai+4 more
doaj +1 more source
This paper presents a research work which focuses on generating synthetic data to enrich the training‐set of a deep learning (DL) based classification system to classify power system transient events using PMU frequency measurements.
Görkem Gök+2 more
doaj +1 more source
Objective To evaluate the value of ultrasound-based radiomics in the preoperative prediction of type I and type II epithelial ovarian cancer. Methods A total of 154 patients with epithelial ovarian cancer were enrolled retrospectively.
Zhi-Ping Tang+11 more
doaj +1 more source
We use machine learning tools for the design and discovery of ABO3-type perovskite oxides for various energy applications, using over 7000 data points from the literature.
Pikee Priya, N. R. Aluru
doaj +1 more source
Objectives The objective of this data set was to identify how interaction between temperature and the sickle-3 (sic-3) mutant alters the global messenger RNA (mRNA) content of Arabidopsis thaliana seedlings.
Carine M. Marshall, Frank G. Harmon
doaj +1 more source
Determination of the Stage Composition of Plasmodium Infections from Bulk Gene Expression Data
Malaria symptoms are caused by the development of the parasites within the blood of an infected host. Bulk RNA sequencing (RNA-seq) of infected blood can reveal interactions between parasites and the host immune system during an infection, but because ...
Kieran Tebben, Aliou Dia, David Serre
doaj +1 more source