Results 81 to 90 of about 8,751,229 (374)

Incorporating abstract data types and complex objects in relational database environments [PDF]

, 1991
筑波大学University of Tsukuba博士（工学）Doctor of Philosophy in Engineering1990【要旨 ...
47000, 47001, Jiang, Shi-Jie, Kyo, Seiketsu   +3 more
core  

Reconfigurable Lattice Agreement and Applications [PDF]

, 2019
Reconfiguration is one of the central mechanisms in distributed systems. Due to failures and connectivity disruptions, the very set of service replicas (or servers) and their roles in the computation may have to be reconfigured over time.
Kuznetsov, Petr, Rieutord, Thibault, Tucci-Piergiovanni, Sara   +2 more
core   +4 more sources

Open Access GNSS Data for Studies of the Lithosphere

Geochemistry, Geophysics, Geosystems
Various types of Global Navigation Satellite System (GNSS) data are used for a wide range of applications. When modeled correctly, millimeter precision daily GNSS position time‐series yield velocities and other derived products that can be used for ...
D. Sarah Stamps, Corné Kreemer
doaj   +1 more source

Pan-cancer evaluation of gene expression and somatic alteration data for cancer prognosis prediction

BMC Cancer, 2021
Background Over the past decades, approaches for diagnosing and treating cancer have seen significant improvement. However, the variability of patient and tumor characteristics has limited progress on methods for prognosis prediction.
Xingyu Zheng, Christopher I. Amos, H. Robert Frost   +2 more
doaj   +1 more source

C9orf72 ALS‐causing mutations lead to mislocalization and aggregation of nucleoporin Nup107 into stress granules

FEBS Letters, EarlyView.
Mutations in the C9orf72 gene represent the most common genetic cause of amyotrophic lateral sclerosis (ALS), a fatal neurodegenerative disease. Using patient‐derived neurons and C. elegans models, we find that the nucleoporin Nup107 is dysregulated in C9orf72‐associated ALS. Conversely, reducing Nup107 levels mitigates disease‐related changes.
Saygın Bilican, Yara Nabawi, William Hongyu Zhang, Dunja Petrovic, Markus Wehrmann, Sara Muñoz‐García, Seda Koyuncu, David Vilchez   +7 more
wiley   +1 more source

A wide-spectrum language for verification of programs on weak memory models

, 2018
Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle,
C Morgan, C Morgan, CAR Hoare, CB Jones, DJ Sorin, EW Dijkstra, IJ Hayes, J Alglave, J Alglave, M Clavel, P Sewell, R Milner, RJ Back, RJ Colvin, S Mador-Haim, S Mador-Haim, S Sarkar, Shaked Flur, SV Adve   +18 more
core   +1 more source

Practical Theory Extension in Event-B [PDF]

, 2013
. The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core   +1 more source

A high spatial resolution dataset of China’s biomass resource potential

Scientific Data, 2023
Assessing biomass resource potential is essential for China’s ambitious goals of carbon neutrality, rural revitalization, and poverty eradication. To fill the data gap of high spatial resolution biomass resources in China, this study estimates the ...
Rui Wang, Wenjia Cai, Le Yu, Wei Li, Lei Zhu, Bowen Cao, Jin Li, Jianxiang Shen, Shihui Zhang, Yaoyu Nie, Can Wang   +10 more
doaj   +1 more source

From lactation to malignancy: A comparison between healthy and cancerous breast gland at single‐cell resolution reveals new issues for tumorigenesis

FEBS Letters, EarlyView.
Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona, Carlo M. Bergamini, Carlo Ferrari, Stefano Volinia, Nicoletta Bianchi   +4 more
wiley   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source