Browse
Submit Data
Databases
API
Help

Dataset Information

5 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

ABSTRACT: Given a Boolean formula, the problem of counting seeks to estimate the number of solutions of F while the problem of uniform sampling seeks to sample solutions uniformly at random. Counting and uniform sampling are fundamental problems in computer science with a wide range of applications ranging from constrained random simulation, probabilistic inference to network reliability and beyond. The past few years have witnessed the rise of hashing-based approaches that use XOR-based hashing and employ SAT solvers to solve the resulting CNF formulas conjuncted with XOR constraints. Since over 99% of the runtime of hashing-based techniques is spent inside the SAT queries, improving CNF-XOR solvers has emerged as a key challenge. In this paper, we identify the key performance bottlenecks in the recently proposed

SUBMITTER: Lahiri S

PROVIDER: S-EPMC7363182 | biostudies-literature | 2020 Jun

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Similar Datasets

Sampling site matters when counting lymphocyte subpopulations.

Project description:Clinical and scientific work routinely relies on antecubital venipunctures for hematological, immunological or other analyses on blood. This study tested the hypothesis that antecubital veins can be considered to be a good proxy for other sampling sites. Using a hematocytometer and a flow cytometer, we analyzed the cell counts from samples coming from the radial artery, the dorsal hand veins and the antecubital veins from 18 volunteers. Most surprisingly, we identified the greatest difference not to exist between arterial and venous circulation, but between the distal (radial artery & dorsal hand veins) and proximal (antecubital veins) sampling sites. Naïve T cells had a higher cell count distally compared to proximally and the reverse was true for effector memory T cells. Despite these differences there were high correlations between the different sampling sites, which partially supports our initial hypothesis. Our findings are crucial for the future design and interpretation of immunological research, and for clinical practice. Furthermore, our results suggest a role for interval lymph nodes in the trafficking of lymphocytes.

| S-EPMC3405139 | biostudies-literature

Lazy electrons in graphene.

Project description:Within a tight-binding approximation, we numerically determine the time evolution of graphene electronic states in the presence of classically vibrating nuclei. There is no reliance on the Born-Oppenheimer approximation within the p-orbital tight-binding basis, although our approximation is "atomically adiabatic": the basis p-orbitals are taken to follow nuclear positions. Our calculations show that the strict adiabatic Born-Oppenheimer approximation fails badly. We find that a diabatic (lazy electrons responding weakly to nuclear distortions) Born-Oppenheimer model provides a much more accurate picture and suggests a generalized many-body Bloch orbital-nuclear basis set for describing electron-phonon interactions in graphene.

| S-EPMC6744868 | biostudies-literature

Web renewal counting processes and their applications in insurance.

Project description:This paper investigates a nonstandard renewal counting process with dependent inter-arrival times-web renewal process. Several limit properties, including the tail of the exponential moment which is a crucial condition in many situations, are obtained. Then the results are applied in insurance to derive precise large deviations and moderate deviation formulas for the aggregate amount of claims.

| S-EPMC6182416 | biostudies-other

Generalizing Quantile Regression for Counting Processes with Applications to Recurrent Events.

Project description:In survival analysis, quantile regression has become a useful approach to account for covariate effects on the distribution of an event time of interest. In this paper, we discuss how quantile regression can be extended to model counting processes, and thus lead to a broader regression framework for survival data. We specifically investigate the proposed modeling of counting processes for recurrent events data. We show that the new recurrent events model retains the desirable features of quantile regression such as easy interpretation and good model flexibility, while accommodating various observation schemes encountered in observational studies. We develop a general theoretical and inferential framework for the new counting process model, which unifies with an existing method for censored quantile regression. As another useful contribution of this work, we propose a sample-based covariance estimation procedure, which provides a useful complement to the prevailing bootstrapping approach. We demonstrate the utility of our proposals via simulation studies and an application to a dataset from the US Cystic Fibrosis Foundation Patient Registry (CFFPR).

| S-EPMC4872875 | biostudies-literature

Detached Descemet's membrane

Project description: Not available

| S-EPMC1954937 | biostudies-literature

Seeing life through positive-tinted glasses: color-meaning associations.

Project description:There is a growing body of literature to show that color can convey information, owing to its emotionally meaningful associations. Most research so far has focused on negative hue-meaning associations (e.g., red) with the exception of the positive aspects associated with green. We therefore set out to investigate the positive associations of two colors (i.e., green and pink), using an emotional facial expression recognition task in which colors provided the emotional contextual information for the face processing. In two experiments, green and pink backgrounds enhanced happy face recognition and impaired sad face recognition, compared with a control color (gray). Our findings therefore suggest that because green and pink both convey positive information, they facilitate the processing of emotionally congruent facial expressions (i.e., faces expressing happiness) and interfere with that of incongruent facial expressions (i.e., faces expressing sadness). Data also revealed a positive association for white. Results are discussed within the theoretical framework of emotional cue processing and color meaning.

| S-EPMC4123920 | biostudies-literature

MOLS sampling and its applications in structural biophysics.

Project description:This review describes the MOLS method and its applications. This computational method has been developed in our laboratory primarily to explore the conformational space of small peptides and identify features of interest, particularly the minima, i.e., the low energy conformations. A systematic "brute-force" search through the vast conformational space for such features faces the insurmountable problem of combinatorial explosion, whilst other techniques, e.g., Monte Carlo searches, are somewhat limited in their region of exploration and may be considered inexhaustive. The MOLS method, on the other hand, uses a sampling technique commonly employed in experimental design theory to identify a small sample of the conformational space that nevertheless retains information about the entire space. The information is extracted using a technique that is a variant of the self-consistent mean field technique, which has been used to identify, for example, the optimal set of side-chain conformations in a protein. Applications of the MOLS method to understand peptide structure, predict the structures of loops in proteins, predict three-dimensional structures of small proteins, and arrive at the best conformation, orientation, and positions of a small molecule ligand in a protein receptor site have all yielded satisfactory results.

| S-EPMC5425679 | biostudies-literature

A physics-informed neural network based on mixed data sampling for solving modified diffusion equations.

Project description:We developed a physics-informed neural network based on a mixture of Cartesian grid sampling and Latin hypercube sampling to solve forward and backward modified diffusion equations. We optimized the parameters in the neural networks and the mixed data sampling by considering the squeeze boundary condition and the mixture coefficient, respectively. Then, we used a given modified diffusion equation as an example to demonstrate the efficiency of the neural network solver for forward and backward problems. The neural network results were compared with the numerical solutions, and good agreement with high accuracy was observed. This neural network solver can be generalized to other partial differential equations.

| S-EPMC9925766 | biostudies-literature

Strong Reinforcement Effects in 2D Cellulose Nanofibril-Graphene Oxide (CNF-GO) Nanocomposites due to GO-Induced CNF Ordering.

Project description:Nanocomposites from native cellulose with low 2D nanoplatelet content are of interest as sustainable materials combining functional and structural performance. Cellulose nanofibril-graphene oxide (CNF-GO) nanocomposite films are prepared by a physical mixing-drying method, with focus on low GO content, the use of very large GO platelets (2-45μm) and nanostructural characterization using synchrotron x-ray source for WAXS and SAXS. These nanocomposites can be used as transparent coatings, strong films or membranes, as gas barriers or in laminated form. CNF nanofibrils with random in-plane orientation, form a continuous non-porous matrix with GO platelets oriented in-plane. GO reinforcement mechanisms in CNF are investigated, and relationships between nanostructure and suspension rheology, mechanical properties, optical transmittance and oxygen barrier properties are investigated as a function of GO content. A much higher modulus reinforcement efficency is observed than in previous polymer-GO studies. The absolute values for modulus and ultimate strength are as high as 17 GPa and 250 MPa at a GO content as small as 0.07 vol%. The remarkable reinforcement efficiency is due to improved organization of the CNF matrix; and this GO-induced mechanism is of general interest for nanostructural tailoring of CNF-2D nanoplatelet composites.

| S-EPMC8009442 | biostudies-literature

Maximum parsimony xor haplotyping by sparse dictionary selection.

Project description:BackgroundXor-genotype is a cost-effective alternative to the genotype sequence of an individual. Recent methods developed for haplotype inference have aimed at finding the solution based on xor-genotype data. Given the xor-genotypes of a group of unrelated individuals, it is possible to infer the haplotype pairs for each individual with the aid of a small number of regular genotypes.ResultsWe propose a framework of maximum parsimony inference of haplotypes based on the search of a sparse dictionary, and we present a greedy method that can effectively infer the haplotype pairs given a set of xor-genotypes augmented by a small number of regular genotypes. We test the performance of the proposed approach on synthetic data sets with different number of individuals and SNPs, and compare the performances with the state-of-the-art xor-haplotyping methods PPXH and XOR-HAPLOGEN.ConclusionsExperimental results show good inference qualities for the proposed method under all circumstances, especially on large data sets. Results on a real database, CFTR, also demonstrate significantly better performance. The proposed algorithm is also capable of finding accurate solutions with missing data and/or typing errors.

| S-EPMC3852077 | biostudies-literature

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data