Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width [PDF]
, 2020 Solving the algebraic dichotomy conjecture for constraint satisfaction problems over structures first-order definable in countably infinite finitely bounded homogeneous structures requires understanding the applicability of local-consistency methods in ...
Wrona, Micha?
core +3 more sources
iScience, 2022 Summary: Openly available community science digital vouchers provide a wealth of data to study phenotypic change across space and time. However, extracting phenotypic data from these resources requires significant human effort.
Maggie M. Hantak +3 more
doaj
PetriScape - A plugin for discrete Petri net simulations in Cytoscape
Journal of Integrative Bioinformatics, 2016 Systems biology plays a central role for biological network analysis in the post-genomic era. Cytoscape is the standard bioinformatics tool offering the community an extensible platform for computational analysis of the emerging cellular network together
Almeida Diogo +3 more
doaj +1 more source
Relational Parametricity and Control [PDF]
, 2006 We study the equational theory of Parigot's second-order λμ-calculus in connection with a call-by-name continuation-passing style (CPS) translation into a fragment of the second-order λ-calculus.
Masahito Hasegawa, Prakash Panangaden
core +1 more source
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems [PDF]
Logic in Computer Science, 2016 We prove that an ω-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that this happens if and ...
L. Barto, M. Pinsker
semanticscholar +1 more source
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction [PDF]
, 2013 We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure ...
Hubie Chen +2 more
core +2 more sources
Evidence for the contribution of COMT gene Val158/108Met polymorphism (rs4680) to working memory training-related prefrontal plasticity. [PDF]
, 2020 BackgroundGenetic factors have been suggested to affect the efficacy of working memory training. However, few studies have attempted to identify the relevant genes.MethodsIn this study, we first performed a randomized controlled trial (RCT) to identify ...
Chen, Chuansheng +15 more
core +1 more source
Correlations between MDM2 gene SNP309 Polymorphism and Susceptibility to Leukemia
Medical Science Monitor, 2015 Background The objective of this study was to perform a systematic review of correlations between the single-nucleotide polymorphism at nucleotide 309 (single-nucleotide polymorphism, SNP309) in the murine double-minute 2 (MDM2) gene promoter and ...
Wenjun Ou
semanticscholar +1 more source
Maltsev digraphs have a majority polymorphism [PDF]
, 2010 We prove that when a digraph $G$ has a Maltsev polymorphism, then $G$ also has a majority polymorphism. We consider the consequences of this result for the structure of Maltsev graphs and the complexity of the Constraint Satisfaction Problem.Comment: 8 ...
Alexandr Kazda +9 more
core +2 more sources
GMATA: An Integrated Software Package for Genome-Scale SSR Mining, Marker Development and Viewing
Frontiers in Plant Science, 2016 Simple sequence repeats (SSRs), also referred to as microsatellites, are highly variable tandem DNAs that are widely used as genetic markers. The increasing availability of whole-genome and transcript sequences provides information resources for SSR ...
Xuewen Wang, Le Wang
semanticscholar +1 more source