Jack Horner

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Jack Horner
A Phylogenetic Approach to Analyzing IP-Address Artifacts of Cyber-Attacks. Security and Management (2010)
Jack Horner
An Estimate of the Mutation Rates of the Active Sites of Influenza A/H5N1 Neuraminidases. BIOCOMP (2010)
Jack Horner
Sensitivity of a Phylogeny of the Triassic Avian-LIne Radiation to Character-Transition Ordering. BIOCOMP (2010)
Jack Horner
A Bayesian Phylogenetic Analysis of an Early Avian-Line Radiation. BIOCOMP (2010)
Jack Horner
The Provenance of the Orthomodularity Axiom in Boolean and Quantum Logic: An Automated Deduction. IC-AI (2010)
Jack Horner
A Dynamical Implementation of the Stockholm Resilience Center 'Safe Operating Space' Model. CSC (2010)
Jack Horner
The Consistency of the Axiom of Choice with Zermelo-Fraenkel (ZF) Set Theory: An Automated Deduction. IC-AI (2010)
Jack Horner
The Power-Set Well-Ordering Theorem Does Not Require the Axiom of Choice: An Automated Deduction. IC-AI (2010)
Jack Horner
A Bayesian Phylogenetic Analysis of Influenza A/H1N1 Neuraminidase-Encoding Segments. BIOCOMP (2010)
Jack Horner
BFAT: Bovine Spongiform Encephalopathy (BSE) Forensic Analysis Tool. BIOCOMP (2010)
Jack Horner
A Scale-Free-Network Analog of the Canonical Potential-Energy Distribution. BIOCOMP (2010)
Jack Horner
An Automated Deduction of the Relative Strength of Orthomodular and Weakly Orthomodular Lattice Theory. IC-AI (2009)
Jack Horner
A Bayesian Network Model of Stromatolite Origin. BIOCOMP (2009)
Jack Horner
Vioxx Redux. BIOCOMP (2009)
Jack Horner
Some Power-Law Scaling LImits to Computer Memory Architectures. CDES (2009)
Jack Horner
A Phylogenetic Comparison of Influenza A H1N1 and H5N1 Neuraminidase-Encoding Genomic Segments. BIOCOMP (2009)
Jack Horner
Sensitivity of Maximum Crater Depth and Diameter to Bolide Density in a Chicxulub-Like Asteroid Collision. CSC (2007)
Jack Horner
An Automated Equational Logic Deduction of Join Elimination in Orthomodular Lattice Theory. IC-AI (2007)
Jack Horner
Primary-Structure/Qseltamivir-Inhibition Correlations in Influenza-H5N1-Related Neuraminidases. BIOCOMP (2007)
Jack Horner
Sensivitity of the maximum parsimony algorithm to missing data. BIOCOMP (2006)
Jack Horner
Hypervelocity impact protection by a nominal two-plate aluminum spacecraft shield against milli- and centimeter-sized space debris. CSC (2006)