Results 41 to 50 of about 1,319,448 (268)
Maximally selected chi-square statistics and binary splits of nominal variables [PDF]
, 2005 We address the problem of maximally selected chi-square statistics in the case of a binary Y variable and a nominal X variable with several categories. The distribution of the maximally selected chi-square statistic has already been derived when the best
Boulesteix, Anne-Laure
core +3 more sources
Stone-Type Dualities for Separation Logics [PDF]
Logical Methods in Computer Science, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
doaj +1 more source
The Black Hole Mass Scale of Classical and Pseudo Bulges in Active Galaxies
, 2014 The mass estimator used to calculate black hole (BH) masses in broad-line active galactic nuclei (AGNs) relies on a virial coefficient (the "$f$ factor") that is determined by comparing reverberation-mapped (RM) AGNs with measured bulge stellar velocity ...
Ho, Luis C., Kim, Minjin
core +1 more source
Psi-Calculi Revisited: Connectivity and Compositionality [PDF]
Logical Methods in Computer Science, 2020 Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus.
Johannes Åman Pohjola
doaj +1 more source
Dualized Simple Type Theory [PDF]
Logical Methods in Computer Science, 2017 We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided polarized sequent calculus.
Harley Eades III +2 more
doaj +1 more source
Slice & Dice: Identifying and Removing Bright Galactic Binaries from LISA Data [PDF]
, 2006 Here we describe a hierarchal and iterative data analysis algorithm used for searching, characterizing, and removing bright, monochromatic binaries from the Laser Interferometer Space Antenna (LISA) data streams.
Cornish, Neil J. +2 more
core +1 more source
On the characterization of models of H*: The semantical aspect [PDF]
Logical Methods in Computer Science, 2016 We give a characterization, with respect to a large class of models of untyped lambda-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is H* (observations for head normalization).
Flavien Breuvart
doaj +1 more source
, 2011 Quantum entanglement plays a vital role in many quantum information and communication tasks. Entangled states of higher dimensional systems are of great interest due to the extended possibilities they provide.
Andersson, Erika +4 more
core +1 more source
, 2001 Two results are presented for reduced Yang-Mills integrals with different symmetry groups and dimensions: the first is a compact integral representation in terms of the relevant variables of the integral, the second is a method to analytically evaluate ...
Ambjorn J +22 more
core +3 more sources
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani +2 more
doaj +1 more source