Submissions from 2005
Faster OWL using Split Programs, Denny Vrandecic and Pascal Hitzler
DLP - An Introduction, Denny Vrandecic, Pascal Hitzler, and Rudi Studer
Fly Through a Pig's Heart, Thomas Wischgoll
Topological Methods in Visualization, Thomas Wischgoll
An Explorational Exhibit of a Pig's Heart, Thomas Wischgoll and Joerg Meyer
Fly Through a Pig's Heart: An Educational Computer Game, Thomas Wischgoll and Joerg Meyer
The Interior of a Pig's Heart: A Museum Exhibit, Thomas Wischgoll and Joerg Meyer
The Interior of a Pig's Vasculature: A Museum Exhibit, Thomas Wischgoll and Joerg Meyer
Visualizing Very Large-Scale Vascular Structures Interactively, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, and Ghassan S. Kassab
A Quantitative Analysis Tool for Cardiovascular Systems, Thomas Wischgoll, Elke Moritz, and Joerg Meyer
Navigational Aspects of an Interactive 3D Exploration System for Cardiovascular Structures, Thomas Wischgoll, Elke Moritz, and Joerg Meyer
Submissions from 2004
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks, Sebastian Bader and Pascal Hitzler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence, Sebastian Bader, Steffen Holldobler, and Pascal Hitzler
Bioinformatics in the Undergraduate Curriculum: Opportunities for Computer Science Educators, Debra T. Burhans, Travis E. Doom, Matt DeJongh, and Mark LeBlanc
Indexing Genomic Databases, Gina Cooper, Michael L. Raymer, Travis E. Doom, Dan E. Krane, and Natsuhiko Futamura
Bioinformatics, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Bioinformatics: Where Biology meets Computer Science, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Systematic 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
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
