Ordered direct implication basis of a finite closure system

Closure system on a nite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of nite lattices, and the tools of economic description of a nite lattice have long existed in lattice theory. We present this approach by describing the so-called D-basis and introducing the concept of ordered direct basis of an implicational system. A direct basis of a closure operator, or an implicational system, is a set of implications that allows one to compute the closure of an arbitrary set by a single iteration. This property is preserved by the D-basis at the cost of following a prescribed order in which implications will be attended. In particular, using an ordered direct basis allows to optimize the forward chaining procedure in logic programming that uses the Horn fragment of propositional logic. One can extract the D-basis from any direct unit basis in time polynomial in the size s( ), and it takes only linear time of the cardinality of the D-basis to put it into a proper order. We produce examples of closure systems on a 6-element set, for which the canonical basis of Duquenne and Guigues is not ordered direc

Ordered direct implicational basis of a finite closure system

Closure system on a finite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of finite lattices, and the tools of economic description of a finite lattice have long existed in lattice theory. We present this approach by describing the so-called D-basis and introducing the concept of ordered direct basis of an implicational system. A direct basis of a closure operator, or an implicational system, is a set of implications that allows one to compute the closure of an arbitrary set by a single iteration. This property is preserved by the D-basis at the cost of following a prescribed order in which implications will be attended. In particular, using an ordered direct basis allows to optimize the forward chaining procedure in logic programming that uses the Horn fragment of propositional logic. One can extract the D-basis from any direct unit basis S in time polynomial in the size of S, and it takes only linear time of the cardinality of the D-basis to put it into a proper order. We produce examples of closure systems on a 6-element set, for which the canonical basis of Duquenne and Guigues is not ordered direct.Comment: 25 pages, 10 figures; presented at AMS conference, TACL-2011,ISAIM-2012 and at RUTCOR semina

Analysis of Strong-Coupling Parameters for Superfluid 3He

Superfluid $^{3}$He experiments show strong deviation from the weak-coupling limit of the Ginzburg-Landau theory, and this discrepancy grows with increasing pressure. Strong-coupling contributions to the quasiparticle interactions are known to account for this effect and they are manifest in the five $\beta$-coefficients of the fourth order Ginzburg-Landau free energy terms. The Ginzburg-Landau free energy also has a coefficient $g_{z}$ to include magnetic field coupling to the order parameter. From NMR susceptibility experiments, we find the deviation of $g_{z}$ from its weak-coupling value to be negligible at all pressures. New results for the pressure dependence of four different combinations of $\beta$-coefficients, $\beta$_{345}, $\beta$_{12}, $\beta$_{245}, and $\beta$_{5} are calculated and comparison is made with theory.Comment: 6 pages, 2 figures, 1 table. Manuscript prepared for QFS200

Cross-ancestry genome-wide association analysis of corneal thickness strengthens link between complex and Mendelian eye diseases

Central corneal thickness (CCT) is a highly heritable trait associated with complex eye diseases such as keratoconus and glaucoma. We perform a genome-wide association meta-analysis of CCT and identify 19 novel regions. In addition to adding support for known connective tissue-related pathways, pathway analyses uncover previously unreported gene sets. Remarkably, >20% of the CCT-loci are near or within Mendelian disorder genes. These included FBN1, ADAMTS2 and TGFB2 which associate with connective tissue disorders (Marfan, Ehlers-Danlos and Loeys-Dietz syndromes), and the LUM-DCN-KERA gene complex involved in myopia, corneal dystrophies and cornea plana. Using index CCT-increasing variants, we find a significant inverse correlation in effect sizes between CCT and keratoconus (r =-0.62, P = 5.30 × 10-5) but not between CCT and primary open-angle glaucoma (r =-0.17, P = 0.2). Our findings provide evidence for shared genetic influences between CCT and keratoconus, and implicate candidate genes acting in collagen and extracellular matrix regulation

IMG 305 - PEMBUNGKUSAN MAKANAN NOV.05.

We discuss the use of Agent-based Modelling for the development and testing of theories about emergent social phenomena in marketing and the social sciences in general. We address both theoretical aspects about the types of phenomena that are suitably addressed with this approach and practical guidelines to help plan and structure the development of a theory about the causes of such a phenomenon in conjunction with a matching ABM. We argue that research about complex social phenomena is still largely fundamental research and therefore an iterative and cyclical development process of both theory and model is to be expected. To better anticipate and manage this process, we provide theoretical and practical guidelines. These may help to identify and structure the domain of candidate explanations for a social phenomenon, and furthermore assist the process of model implementation and subsequent development. The main goal of this paper was to make research on complex social systems more accessible and help anticipate and structure the research process

Constraints on dark matter-nucleon effective couplings in the presence of kinematically distinct halo substructures using the DEAP-3600 detector

DEAP-3600 is a single-phase liquid argon detector aiming to directly detect weakly interacting massive particles (WIMPs), located at SNOLAB (Sudbury, Canada). After analyzing data taken during the first year of operation, a null result was used to place an upper bound on the WIMP-nucleon, spin-independent, isoscalar cross section. This study reinterprets this result within a nonrelativistic effective field theory framework and further examines how various possible substructures in the local dark matter halo may affect these constraints. Such substructures are hinted at by kinematic structures in the local stellar distribution observed by the Gaia satellite and other recent astronomical surveys. These include the Gaia Sausage (or Enceladus), as well as a number of distinct streams identified in recent studies. Limits are presented for the coupling strength of the effective contact interaction operators O1, O3, O5, O8, and O11, considering isoscalar, isovector, and xenonphobic scenarios, as well as the specific operators corresponding to millicharge, magnetic dipole, electric dipole, and anapole interactions. The effects of halo substructures on each of these operators are explored as well, showing that the O5 and O8 operators are particularly sensitive to the velocity distribution, even at dark matter masses above 100 GeV=c

Multi-trait genome-wide association study identifies new loci associated with optic disc parameters

A new avenue of mining published genome-wide association studies includes the joint analysis of related traits. The power of this approach depends on the genetic correlation of traits, which reflects the number of pleiotropic loci, i.e. genetic loci influencing multiple traits. Here, we applied new meta-analyses of optic nerve head (ONH) related traits implicated in primary open-angle glaucoma (POAG); intraocular pressure and central corneal thickness using Haplotype reference consortium imputations. We performed a multi-trait analysis of ONH parameters cup area, disc area and vertical cup-disc ratio. We uncover new variants; rs11158547 in PPP1R36-PLEKHG3 and rs1028727 near SERPINE3 at genome-wide significance that replicate in independent Asian cohorts imputed to 1000 Genomes. At this point, validation of these variants in POAG cohorts is hampered by the high degree of heterogeneity. Our results show that multi-trait analysis is a valid approach to identify novel pleiotropic variants for ONH

Whole-genome sequencing reveals host factors underlying critical COVID-19

Critical COVID-19 is caused by immune-mediated inflammatory lung injury. Host genetic variation influences the development of illness requiring critical care1 or hospitalization2,3,4 after infection with SARS-CoV-2. The GenOMICC (Genetics of Mortality in Critical Care) study enables the comparison of genomes from individuals who are critically ill with those of population controls to find underlying disease mechanisms. Here we use whole-genome sequencing in 7,491 critically ill individuals compared with 48,400 controls to discover and replicate 23 independent variants that significantly predispose to critical COVID-19. We identify 16 new independent associations, including variants within genes that are involved in interferon signalling (IL10RB and PLSCR1), leucocyte differentiation (BCL11A) and blood-type antigen secretor status (FUT2). Using transcriptome-wide association and colocalization to infer the effect of gene expression on disease severity, we find evidence that implicates multiple genes—including reduced expression of a membrane flippase (ATP11A), and increased expression of a mucin (MUC1)—in critical disease. Mendelian randomization provides evidence in support of causal roles for myeloid cell adhesion molecules (SELE, ICAM5 and CD209) and the coagulation factor F8, all of which are potentially druggable targets. Our results are broadly consistent with a multi-component model of COVID-19 pathophysiology, in which at least two distinct mechanisms can predispose to life-threatening disease: failure to control viral replication; or an enhanced tendency towards pulmonary inflammation and intravascular coagulation. We show that comparison between cases of critical illness and population controls is highly efficient for the detection of therapeutically relevant mechanisms of disease