Submissions from 2004
A Generalized Resolution Theorem, Pascal Hitzler
Approximating First-Order Logic Programs by Feedforward Networks, Pascal Hitzler
Corollaries on the Fixpoint Completion: Studying the Stable Semantics by Means of the Clark Completion, Pascal Hitzler
Default Reasoning over Domains and Concept Hierarchies, Pascal Hitzler
Nichtmonotone, Neuro-Symbolische und Begriffliche Wissensverarbeitung, Pascal Hitzler
Operator-Based Semantics for Logic Programs, Pascal Hitzler
Logic Programs and Connectionist Networks, Pascal Hitzler, Steffen Holldobler, and Anthony K. Seda
A Cartesian Closed Category of Approximable Concept Structures, Pascal Hitzler and Guo-Qiang Zhang
Rethinking Engineering Mathematics Education: A Model for Increased Retention, Motivation, and Success in Engineering, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds
On the Relative Efficacies of *cGA Variants for Intrinsic Evolvable Hardware: Population, Mutation, and Random Immigrants, Gregory R. Kramer, John C. Gallagher, and Michael L. Raymer
Commentary on: Budowle B, Shea B, Niezgoda S, Chakraborty R. CODIS STR Loci Data from 41 Sample Populations. J. Forensic Sci 2001; 46:453-489, Dan E. Krane, Travis E. Doom, L. Mueller, Michael L. Raymer, W. Shields, and William C. Thompson
Virtual Exploration of a Cardiovascular System, Elke Moritz, Thomas Wischgoll, and Joerg Meyer
Evolving Classifiers for Knowledge Discovery in Medical and Biological Datasets, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer
GA-Facilitated Knowledge Discovery and Pattern Recognition Optimization Applied to the Biochemistry of Protein Solvation, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer
Co-occurrence, Interest, and Fuzzy Events, Thomas Sudkamp
Detection of Closed Hyperstreamlines, Thomas Wischgoll
Locating Closed Hyperstreamlines in Second Order Tensor Fields, Thomas Wischgoll
Force-Feedback-Enhanced Navigation for Interactive Visualization of Coronary Vessels, Thomas Wischgoll, Elke Moritz, and Joerg Meyer
The Vasculature of the Heart: An Interactive Guided Tour, Thomas Wischgoll, Elke Moritz, and Joerg Meyer
Submissions from 2003
Sparse Data and Rule Base Completion, Valerie Cross and Thomas Sudkamp
A Gentle Introduction to Altera Max+Plus II 10.1 Student Edition, Travis E. Doom
Crossing the Interdisciplinary Barrier: A Baccalaureate Computer Science Option in Bioinformatics, Travis E. Doom, Michael L. Raymer, Dan E. Krane, and Oscar Garcia
Apprentissage du Type de Règle Floue Le Plus Pertinent, Didier Dubois, Sylvain Lavalley, Henri Prade, M. Serruier, and Thomas Sudkamp
A Discussion of Indices for the Evaluation of Fuzzy Associations in Relational Databases, Didier Dubois, Henri Prade, and Thomas Sudkamp
Differences in Electropherogram Peak Heights Reported by Different Versions of the GeneScan Software, Jason R. Gilder, Simon Ford, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Identifying Patterns in DNA Change, Jason R. Gilder, Dan E. Krane, Travis E. Doom, and Michael L. Raymer
A Versatile Tool for Student Projects: An ASM Programming Language for the Lego Mindstorm, Jason R. Gilder, Michael R. Peterson, Jason Wright, and Travis E. Doom
A Resolution Theorem for Algebraic Domains, Pascal Hitzler
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks, Pascal Hitzler and Anthony K. Seda
Generalized Metrics and Uniquely Determined Logic Programs, Pascal Hitzler and Anthony K. Seda
A Gentle Introduction to (or Review of) Fundamentals of Chemistry and Organic Chemistry, Dan E. Krane and Michael L. Raymer
Analyzing Algorithms & Asymptotic Notation, Dan E. Krane and Michael L. Raymer
Example Protein Folds, Dan E. Krane and Michael L. Raymer
Fragment Assembly of DNA, Dan E. Krane and Michael L. Raymer
Fundamental Concepts of Bioinformatics, Dan E. Krane and Michael L. Raymer
Physical Mapping of DNA, Dan E. Krane and Michael L. Raymer
Protein Alignment Scoring - PAM and BLOSUM, Dan E. Krane and Michael L. Raymer
Protein Structure, Function, and Folding, Dan E. Krane and Michael L. Raymer
Searching Sequence Databases, Dan E. Krane and Michael L. Raymer
Sequence Alignments and Database Searches, Dan E. Krane and Michael L. Raymer
The Structure and Functions of Proteins, Dan E. Krane and Michael L. Raymer
An Interdisciplinary Undergraduate Bioinformatics Curriculum for Biological Scientists, Dan E. Krane, Michael L. Raymer, and Travis E. Doom
Knowledge Discovery in Medical and Biological Datasets using a Hybrid Bayes Classifier/Evolutionary Algorithm, Michael L. Raymer, Travis E. Doom, Leslie A. Kuhn, and William F. Punch
Evolution of Topology in Axi-Symmetric and 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, and Thomas Wischgoll
Sparse Data in the Evolutionary Generation of Fuzzy Models, Daniel Spiegel and Thomas Sudkamp
Discovering Imprecise Temporal Associations, Thomas Sudkamp and Robert J. Hammell II
Effect of Rule Representation in Rule Base Reduction, Thomas Sudkamp, Aaron Knapp, and Jon Knapp
Model Generation by Domain Refinement and Rule Reduction, Thomas Sudkamp, Aaron Knapp, and Jon Knapp
Antidiabetic and Antimalarial Biguanide Drugs are Metal-interactive Antiproteolytic Agents, Deacon Sweeney and Michael L. Raymer
Evaluating Forensic DNA Evidence: Breaking Open the Black Box (How to Review Electronic Data), W. Thompson, S. Ford, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Evaluating Forensic DNA Evidence: Essential Elements of a Competent Defense Review, William C. Thompson, Simon Ford, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Evaluating Forensic DNA Evidence, Part 2, William C. Thompson, Simon Ford, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Formal Concept Analysis and Resolution on Algebraic Domains - Preliminary Report, Matthias Wendt and Pascal Hitzler
High Speed Video Capturing in the Area of Earthquake Research, Thomas Wischgoll
Optical (Camera-Based) Technology for Seismic Risk Assessment, Thomas Wischgoll, Tara C. Hutchinson, and Falko Kuester
Topological Features in Vector Fields, Thomas Wischgoll and Joerg Meyer
3D Loop Detection and Visualization in Vector Fields, Thomas Wischgoll and Gerik Scheuermann
Parallel Computation of the Topological Skeleton of Vector Fields, Thomas Wischgoll and Gerik Scheuermann
Books from 2002
Similarity and Compatibility in Fuzzy Set Theory: Assessment and Applications, Valerie Cross and Thomas Sudkamp
A Proposed Undergraduate Bioinformatics Curriculum for Computer Scientists, Travis E. Doom, Michael L. Raymer, Dan E. Krane, and Oscar Garcia
ILP Operators for Propositional Connectionist Networks, Miguel Angel Gutierrez-Naranjo and Pascal Hitzler
Circular Belief in Logic Programming Semantics, Pascal Hitzler
Contexts, Concepts, and Logic of Domains, Pascal Hitzler
Resolution and Logic Programming in Algebraic Domains: Negation and Defaults, Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge, Pascal Hitzler
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming, Pascal Hitzler and Anthony K. Seda
Characterizing Logic Programming Semantics with Level Mappings, Pascal Hitzler and Matthias Wendt
The Well-Founded Semantics is a Stratified Fitting Semantics, Pascal Hitzler and Matthias Wendt
Current Issues in Forensic DNA Profiling, Dan E. Krane
GA-Facilitated Cosine Classifier Optimization with Application to the Biochemistry of Protein-Water Interactions, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer
Employing Locality in the Evolutionary Generation of Fuzzy Rule Bases, Daniel Spiegel and Thomas Sudkamp
Tuning Membership Functions in Local Evolutionary Learning of Fuzzy Rule Bases, Daniel Spiegel and Thomas Sudkamp
Topology Tracking for the Visualization of Time-Dependent Two-Dimensional Flows, Xavier Tricoche, Thomas Wischgoll, Gerik Scheuermann, and Hans Hagen
Closed Streamlines in Flow Visualization, Thomas Wischgoll
Locating Closed Streamlines in 3D Vector Fields, Thomas Wischgoll and Gerik Scheuermann
Distributed Computation of Planar-Closed Streamlines, Thomas Wischgoll, Gerik Scheuermann, and Hans Hagen
Submissions from 2001
PocketMol: A Molecular Visualization Program for the Pocket PC, Jason R. Gilder, Michael L. Raymer, and Travis E. Doom
Generalized Metrics and Topology in Logic Programming Semantics, Pascal Hitzler
Kontraktionssatze auf verallgemeinerten metrischen Raumen, Pascal Hitzler
A "Converse" of the Banach Contraction Mapping Theorem, Pascal Hitzler and Anthony K. Seda
Unique Supported-Model Classes of Logic Programs, Pascal Hitzler and Anthony K. Seda
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM, Pascal Hitzler and Anthony K. Seda
Utilizing Output Signatures to Enhance Semantic Matching, Christopher W. Leigeber and Travis E. Doom
Prediction Enhancement of Protein-Water Binding Conservation through Evolutionary Computation, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer
Knowledge Discovery in Biological Data Sets using a Hybrid Bayes Classifier/Evolutionary Algorithm, Michael L. Raymer, Leslie A. Kuhn, and William F. Punch
Knowledge Discovery in Biological Datasets Using a Hybrid Bayes Classifier/Evolutionary Algorithm, Michael L. Raymer, Leslie A. Kuhn, and William F. Punch
Evolution of Topology in Axi-Symmetric and 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, and Thomas Wischgoll
Convergence Classes and Spaces of Partial Functions, Anthony K. Seda, Roland Heinze, and Pascal Hitzler
On the Coincidence of Semantics for Uniquely Determined Programs, Anthony K. Seda and Pascal Hitzler
Semantic Operators and Fixed-Point Theory in Logic Programming, Anthony K. Seda and Pascal Hitzler
Evolutionary Strategies for Generation of Fuzzy Rule Bases: a Local Approach, Daniel Spiegel and Thomas Sudkamp
Granularity and Specificity in Fuzzy Rule-Based Systems, Thomas Sudkamp
Refine and Merge: Generating Small Rule Bases from Training Data, Thomas Sudkamp, Jon Knapp, and Aaron Knapp
Profile Combinatorics for Fragment Selection in Comparative Protein Structure Modeling, Deacon Sweeney, Travis E. Doom, and Michael L. Raymer
Efficient Algorithms for Subcircuit Enumeration and Classification for the Module Identification Problem, Jennifer L. White, Moon-Jung Chung, Anthony S. Wojcik, and Travis E. Doom
Detection and Visualization of Closed Streamlines in Planar Flows, Thomas Wischgoll and Gerik Scheuermann
Parallel Detection of Closed Streamlines in Planar Flows, Thomas Wischgoll, Gerik Scheuermann, and Hans Hagen
Tracking Closed Streamlines in Time Dependent Planar Flows, Thomas Wischgoll, Gerik Scheuermann, and Hans Hagen
Submissions from 2000
Der Kontraktionssatz auf metrischen Raumen und Verallgemeinerungen, Pascal Hitzler
Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelof, Pascal Hitzler and Frithjof Lutscher
