Submissions from 2007
A Multi-Objective Genetic Algorithm that Employs a Hybrid Approach for Isolating Codon Usage Bias Indicative of Translational Efficiency, Douglas W. Raiford, Dan E. Krane, Travis E. Doom, and Michael L. Raymer
CSI Revisited: The Science of Forensic DNA Analysis, Michael L. Raymer
Quo Vadis, CS? – On the (Non)-Impact of Conceptual Structures on the Semantic Web, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler
Efficient OWL Reasoning with Logic Programs - Evaluations, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, and Denny Vrandecic
Supporting Lexical Ontology Learning by Relational Exploration, Sebastian Rudolph, Johanna Volker, and Pascal Hitzler
Learning Fuzzy Rules with their Implication Operators, Mathieu Serrurier, Didier Dubois, Henri Prade, and Thomas Sudkamp
Acquisition of OWL DL Axioms from Lexical Resources, Johanna Volker, Pascal Hitzler, and Philipp Cimiano
Computing Center-Lines: An Application of Vector Field Topology, Thomas Wischgoll
Modeling and Simulation of Cardiovascular Systems, Thomas Wischgoll
Visualizing Morphometric Data of Vasculatures, Thomas Wischgoll
A Novel Method for Visualization of Entire Coronary Arterial Tree, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, and Ghassan S. Kassab
Submissions from 2006
Visual Ontology Modeling for Electronic Markets, Saartje Brockmans, Andreas Geyer-Schulz, Pascal Hitzler, and Rudi Studer
A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies, Saartje Brockmans, Peter Haase, Pascal Hitzler, and Rudi Studer
Lifecycle Support for Networked Ontologies, Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadzlev, Jerome Euzenat, Mathieu d'Aquin, and Aldo Gangemi
Amino Acid Cost and Codon-Usage Biases in 6 Prokaryotic Genomes: A Whole-Genome Analysis, Esley M. Heizer, Douglas W. Raiford, Michael L. Raymer, Travis E. Doom, Robert V. Miller, and Dan E. Krane
Integrated View and Comparison of Alignment Semantics, Pascal Hitzler, Jerome Euzenat, Markus Krotzsch, Luciano Serafini, Heiner Stuckenschmidt, Holger Wache, and Antoine Zimmermann
Querying Formal Contexts with Answer Set Programs, Pascal Hitzler and Markus Krotzsch
A Categorical View on Algebraic Lattices in Formal Concept Analysis, Pascal Hitzler, Markus Krotzsch, and Guo-Qiang Zhang
Wissensmanagement Profitiert von Semantiktechnologien, Pascal Hitzler and Rudi Studer
Redefining Engineering Mathematics Education at Wright State University, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds
Essential Elements of a Defense-Review of DNA Testing Results, Dan E. Krane
How to Reason with OWL in a Logic Programming System, Markus Krotzsch, Pascal Hitzler, Denny Vrandecic, and Michael Sintek
On the Complexity of Horn Description Logics, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
Earthquake Visualization Using Large-scale Ground Motion and Structural Response Simulations, Joerg Meyer and Thomas Wischgoll
Earthquake Visualization Using Large-Scale Ground Motion and Structural Response Simulations, Joerg Meyer and Thomas Wischgoll
Assessing the Implications for Close Relatives in the Event of Similar but Nonmatching DNA Profiles, David R. Paoletti, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
An Investigation of Codon Usage Bias Including Visualization and Quantification in Organisms Exhibiting Multiple Biases, Douglas W. Raiford, Travis E. Doom, Dan E. Krane, and Michael L. Raymer
Isolation and Visualization of Codon Usage Biases, Douglas W. Raiford, Dan E. Krane, Travis E. Doom, and Michael L. Raymer
Analysis of Large Scale Image Data using Out-of-Core Techniques, Chandrashekara H. Raju and Thomas Wischgoll
Parsimony Approach to Test the Evolving Master Gene Hypothesis for Human Alu Repeats, Sridhar Ramachandran, Travis E. Doom, Michael L. Raymer, and Dan E. Krane
Was the Shawnee War Chief Blue Jacket a Caucasian?, Carolyn Rowland, R. V. Van Trees, Marc S. Taylor, Michael L. Raymer, and Dan E. Krane
Conceptual Structures: Inspiration and Application, Henrik Scharfe, Pascal Hitzler, and Peter Ohrstrom
A Semantic Future for AI, Rudi Studer, Anupriya Ankolekar, and Pascal Hitzler
Languages and Machines: An Introduction to the Theory of Computer Science, Thomas Sudkamp
Linguistic Refinement of Temporal Rules, Thomas Sudkamp
Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation, Julien Tane, Philipp Cimiano, and Pascal Hitzler
Quantitative Analysis of CT-Scanned Images of Coronary Vasculatures of Porcine Hearts, Thomas Wischgoll
Locating Closed Hyperstreamlines in Second Order Tensor Fields, Thomas Wischgoll and Joerg Meyer
Topological Features in Vector Fields, Thomas Wischgoll and Joerg Meyer
Formalizing Ontology Alignment and its Operations with Category Theory, Antoine Zimmermann, Markus Krotzsch, Jerome Euzenat, and Pascal Hitzler
Submissions from 2005
Modeling Fuzzy Rules with Description Logics, Sudhir Agarwal and Pascal Hitzler
Stochastic Model of Protease-Ligand Reactions, Paul E. Anderson, Douglas W. Raiford, Deacon Sweeney, Travis E. Doom, and Michael L. Raymer
Bridging the Paradigm Gap with Rules for OWL, Jurgen Angele, Boris Motik, Rudi Studer, and Pascal Hitzler
Integrating Semantic Web Services for Mobile Access, Anupriya Ankolekar, Pascal Hitzler, Holger Lewen, Daniel Oberle, and Rudi Studer
Computing First-Order Logic Programs by Fibring Artificial Neural Networks, Sebastian Bader, Artur Garcez, and Pascal Hitzler
Dimensions of Neural-Symbolic Integration - A Structured Survey, Sebastian Bader and Pascal Hitzler
Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach, Sebastian Bader, Andreas Witzel, and Pascal Hitzler
The Well Supported Semantics for Multidimensional Dynamic Logic Programs, F. Banti, Jose Julio Alferes, A. Brogi, and Pascal Hitzler
Computational Intelligence in Data Mining, Fernando Berzal, Juan Carlos Cubero, Zbigniew W. Ras, Thomas Sudkamp, and Ronald Yager
Specification of a Common Framework for Characterizing Alignment, Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krotzsch, Luciano Serafini, Giorgos Stamu, York Sure, and Sergio Tessaris
On the Representation, Measurement, and Discovery of Fuzzy Associations, Didier Dubois, Henri Prade, and Thomas Sudkamp
Automatisiertes Schließen mit formalen Begriffen: Implementierung, Karl Fritsche and Pascal Hitzler
Methods for Approximate Reasoning, Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, and Holger Wache
DLP Isn't So Bad After All, Peter Haase, Markus Krotzsch, York Sure, Rudi Studer, and Pascal Hitzler
Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen, Pascal Hitzler
Towards a Systematic Account of Different Semantics for Logic Programs, Pascal Hitzler
Ontology Learning as a Use-Case for Neural-Symbolic Integration, Pascal Hitzler, Sebastian Bader, and Artur Garcez
What is Ontology Merging? - A Category-Theoretical Perspective using Pushouts, Pascal Hitzler, Markus Krotzsch, Marc Ehrig, and York Sure
Towards a Unified Theory of Logic Programming Semantics: Level Mapping Characterizations of Selector Generated Models, Pascal Hitzler and Sibylle Schwarz
Resolution-Based Approximate Reasoning for OWL DL, Pascal Hitzler and Denny Vrandecic
The SCREECH OWL Reasoner - Scalable Approximate ABox Reasoning with OWL, Pascal Hitzler and Denny Vrandecic
A Uniform Approach to Logic Programming Semantics, Pascal Hitzler and Matthias Wendt
The WSU Model for Engineering Mathematics Education, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds
Work in Progress: The WSU Model for Engineering Mathematics Education, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds
Evaluating Forensic DNA Evidence, Dan E. Krane and William C. Thompson
Category Theory in Ontology Research: Concrete Gain from an Abstract Approach, Markus Krotzsch, Pascal Hitzler, Marc Ehrig, and York Sure
Morphisms in Context, Markus Krotzsch, Guo-Qiang Zhang, and Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks, Jens Lehmann, Sebastian Bader, and Pascal Hitzler
Integrated Visualization and Analysis of a Pig's Cardiovascular System, Joerg Meyer, Thomas Wischgoll, and Elke Moritz
Comparison of Input Devices and Displays for Protein Visualization, Elke Moritz, Thomas Wischgoll, and Joerg Meyer
DLPconvert: Converting OWL DLP Statements to Logic Programs, Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, and Rudi Studer
Empirical Analysis of the STR Profiles Resulting from Conceptual Mixtures, David R. Paoletti, Travis E. Doom, Carissa M. Crane, Michael L. Raymer, and Dan E. Krane
GA-Facilitated Classifier Optimization with Varying Similarity Measures, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer
GA-Facilitated KNN Classifier Optimization with Varying Similarity Measures, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer
Balanced Accuracy for Feature Subset Selection with Genetic Algorithms, Michael R. Peterson, Michael L. Raymer, and Gary B. Lamont
Book Review: Evolutionary Computation in Bioinformatics, Michael L. Raymer
Level Mapping Characterizations of Selector-Generated Models for Logic Programs, Sibylle Schwarz and Pascal Hitzler
Fuzzy Inductive Logic Programming: Learning Fuzzy Rules with their Implication, M. Serruier, Thomas Sudkamp, D. Dubois, and H. Prade
Description Logic Programs: A Practical Choice For the Modelling of Ontologies, Rudi Studer, York Sure, and Pascal Hitzler
Discovery of Fuzzy Temporal Associations in Multiple Data Streams, Thomas Sudkamp
Examples, Counterexamples, and measuring Fuzzy Associations, Thomas Sudkamp
Sporadic Fuzzy Temporal Associations, Thomas Sudkamp
The Semantic Web in One Day, York Sure, Pascal Hitzler, Andreas Eberhart, and Rudi Studer
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
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
