Results 71 to 80 of about 8,638,029 (373)

Describing Scholarly Works with Dublin Core: A Functional Approach [PDF]

, 2008
This article describes the development of the Scholarly Works Application Profile (SWAP)—a Dublin Core application profile for describing scholarly texts.
Allinson, J.
core   +1 more source

Data types, abstract data types and their specification problem

Theoretical Computer Science, 1979
AbstractA formal framework is proposed for discussing the algebraic properties of data types. In particular, the specification problem, i.e. the problem how a particular data type can be finitely specified, is discussed. Denotational and operational approaches are compared.
openaire   +2 more sources

Thermostable neutral metalloprotease from Geobacillus sp. EA1 does not share thermolysin's preference for substrates with leucine at the P1′ position

FEBS Letters, EarlyView.
Knowing how proteases recognise preferred substrates facilitates matching proteases to applications. The S1′ pocket of protease EA1 directs cleavage to the N‐terminal side of hydrophobic residues, particularly leucine. The S1′ pocket of thermolysin differs from EA's at only one position (leucine in place of phenylalanine), which decreases cleavage ...
Grant R. Broomfield, Torsten Kleffmann, David J. Saul, Sigurd M. Wilbanks   +3 more
wiley   +1 more source

SURGE: uncovering context-specific genetic-regulation of gene expression from single-cell RNA sequencing using latent-factor models

Genome Biology
Genetic regulation of gene expression is a complex process, with genetic effects known to vary across cellular contexts such as cell types and environmental conditions.
Benjamin J. Strober, Karl Tayeb, Joshua Popp, Guanghao Qi, M. Grace Gordon, Richard Perez, Chun Jimmie Ye, Alexis Battle   +7 more
doaj   +1 more source

CellWalker integrates single-cell and bulk data to resolve regulatory elements across cell types in complex tissues

Genome Biology, 2021
Single-cell and bulk genomics assays have complementary strengths and weaknesses, and alone neither strategy can fully capture regulatory elements across the diversity of cells in complex tissues.
Pawel F. Przytycki, Katherine S. Pollard
doaj   +1 more source

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

Redox‐dependent binding and conformational equilibria govern the fluorescence decay of NAD(P)H in living cells

FEBS Letters, EarlyView.
In this work, we reveal how different enzyme binding configurations influence the fluorescence decay of NAD(P)H in live cells using time‐resolved anisotropy imaging and fluorescence lifetime imaging microscopy (FLIM). Mathematical modelling shows that the redox states of the NAD and NADP pools govern these configurations, shaping their fluorescence ...
Thomas S. Blacker, Nimit Mistry, Nicoletta Plotegher, Elizabeth R. Westbrook, Michael D. E. Sewell, John Carroll, Gyorgy Szabadkai, Angus J. Bain, Michael R. Duchen   +8 more
wiley   +1 more source

DTWscore: differential expression and cell clustering analysis for time-series single-cell RNA-seq data

BMC Bioinformatics, 2017
Background The development of single-cell RNA sequencing has enabled profound discoveries in biology, ranging from the dissection of the composition of complex tissues to the identification of novel cell types and dynamics in some specialized cellular ...
Zhuo Wang, Shuilin Jin, Guiyou Liu, Xiurui Zhang, Nan Wang, Deliang Wu, Yang Hu, Chiping Zhang, Qinghua Jiang, Li Xu, Yadong Wang   +10 more
doaj   +1 more source

PUREE: accurate pan-cancer tumor purity estimation from gene expression data

Communications Biology, 2023
Tumors are complex masses composed of malignant and non-malignant cells. Variation in tumor purity (proportion of cancer cells in a sample) can both confound integrative analysis and enable studies of tumor heterogeneity.
Egor Revkov, Tanmay Kulshrestha, Ken Wing-Kin Sung, Anders Jacobsen Skanderup   +3 more
doaj   +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