Submissions from 2009
A Comparison of Codon Usage Trends in Prokaryotes, Amanda L. Hanes, Michael L. Raymer, Travis E. Doom, and Dan E. Krane
Suggestions for OWL 3, Pascal Hitzler
Towards Reasoning Pragmatics, Pascal Hitzler
Facets of Artificial General Intelligence, Pascal Hitzler and Kai-Uwe Kuhnberger
The Importance of Being Neural-Symbolic - A Wilde Position, Pascal Hitzler and Kai-Uwe Kuhnberger
Ontologies and Rules, Pascal Hitzler and Bijan Parsia
Conceptual Structures in Practice, Pascal Hitzler and Henrik Scharfe
Initial Framework for Measuring and Evaluating Heuristic Problem Solving, Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, and Angus Roberts
Biophysical Model of the Spatial Heterogeneity of Myocardial Flow, Yunlong Huo, Benjamin Kaimovitz, Yoram Lanir, Thomas Wischgoll, Julien I.E. Hoffman, and Ghassan S. Kassab
RaDON - Repair and Diagnosis in Ontology Networks, Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, and Steffen Stadtmuller
A Method of Converting a Fuzzy System to a Two-layered Hierarchical Fuzzy System and its Run-time Efficiency, Moon G. Joo and Thomas Sudkamp
The Wright State Model for Engineering Mathematics Education: A Nationwide Adoption, Assessment and Evaluation, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, and Richard Mercer
3D Reconstruction and Visualization of a Hovering Dragonfly, Christopher Koehler, Thomas Wischgoll, Haibo Dong, Zachary Gaston, and Hui Wan
3-D Reconstruction of the Human Ribcage Based on Chest X-Ray Images and Geometric Template Models, Christopher Koehler, Thomas Wischgoll, and Forouzan Golshani
A Data Mining Approach to Predicting Phylum for Microbial Organisms Using Genome-Wide Sequence Data, Rao M. Kotamarti, Douglas W. Raiford, Michael L. Raymer, and Margaret H. Dunham
Scientific Components of DNA Evidence: Molecular Biology and Population Genetics, Dan E. Krane
Time for DNA Disclosure, Dan E. Krane, Volker Bahn, D. Balding, B. Barlow, H. Cash, B. L. Desportes, P. D'Eustachio, K. Devlin, Travis E. Doom, I. Dror, S. Ford, C. Funk, Jason Gilder, G. Hampikian, K. Inman, A. Jamieson, P. E. Kent, R. Koppl, I. Kornfield, S. Krimsky, J. Mnookin, L. Mueller, E. Murphy, D. R. Paoletti, D. A. Petrov, Michael L. Raymer, D. M. Risinger, A. Roth, N. Rudin, W. Sheilds, J. A. Siegel, M. Slatkin, Y. S. Song, T. Speed, C. Spiegelman, P. Sullivan, A. R. Swienton, Thaddeus Tarpey, William C. Thompson, E. Ungvarsky, and S. Zabell
Paraconsistent Reasoning for OWL 2, Yue Ma and Pascal Hitzler
An Anytime Algorithm for Computing Inconsistency Measurement, Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, and Zuoquan Lin
Inconsistency-Tolerant Reasoning with Networked Ontologies, Guilin Qi, Peter Haase, Simon Schenk, Steffen Stadtmuller, and Pascal Hitzler
Testing an In-Home Gait Assessment Tool for Older Adults, Fang Wang, Erik Stone, Wenqing Dai, Tanvi Banerjee, Jarod Giger, Jean Krampe, Marilyn J. Rantz, and Marjorie Skubic
FAnToM - Lessons Learned from Design, Implementation, Administration, and Use of a Visualization System for Over 10 Years, Alexander Wiebel, Christoph Garth, Mario Hlawitschka, Thomas Wischgoll, and Gerik Scheuermann
Accurate Extraction of Morphological Information from Volumetric Imagery, Thomas Wischgoll
Computing Center-Lines: An Application of Vector Field Topology, Thomas Wischgoll
Stereoscopic Display Technology for Visualizing Vascular Structures, Thomas Wischgoll
Extraction of Morphometry and Branching Angles of Porcine Coronary Arterial Tree from CT Images, Thomas Wischgoll, Jenny Susana Choy, and Ghassan S. Kassab
Reconstruction of the Upper Torso Using X-Ray Imagery, Thomas Wischgoll and Christopher Koehler
Submissions from 2008
Gaussian Binning: A new Kernel-based Method for processing NMR Spectroscopic Data for Metabolomics, Paul E. Anderson, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, and Michael L. Raymer
Gaussian Binning for Processing NMR Spectroscopic Data for Metabolomics, Paul E. Anderson, Nicholas V. Reo, Nicholas J. DelRaso, and Michael L. Raymer
Connectionist Model Generation: A First-Order Approach, Sebastian Bader, Pascal Hitzler, and Steffen Holldobler
Spieltheorie, Alexander Chocholaty and Pascal Hitzler
Discovering New Trends in Web Robot Traffic through Functional Classification, Derek Doran and Swapna S. Gokhale
Defeasible Inference with Circumscriptive OWL Ontologies, Stephan Grimm and Pascal Hitzler
Reasoning in Circumscriptive ALCO, Stephan Grimm and Pascal Hitzler
BotMiner: Clustering Analysis of Network Traffic for Protocol- and Structure-Independent Botnet Detection, Guofei Gu, Roberto Perdisci, Junjie Zhang, and Wenke Lee
BotSniffer: Detecting Botnet Command and Control Channels in Network Traffic, Guofei Gu, Junjie Zhang, and Wenke Lee
Semantic Web: Grundlagen, Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph, and York Sure
Approximate OWL Instance Retrieval with Screech, Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph, and Tuvshintur Tserendorj
The WSU Model for Engineering Mathematics Education: A Multiyear Assessment and Expansion to Collaborating Institutions, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, Richard Mercer, Anant Kukreti, and Brian Randolph
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases, Matthias Knorr, Jose Julio Alferes, and Pascal Hitzler
Description Logic Rules, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
ELP: Tractable Rules for OWL 2, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
ELP: Tractable Rules for OWL 2, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
Paraconsistent Reasoning for Expressive and Tractable Description Logics, Yue Ma, Pascal Hitzler, and Zuoquan Li
A Forgetting-Based Approach for Reasoning with Inconsistent Distributed Ontologies, Guilin Qi, Yimin Wang, Peter Haase, and Pascal Hitzler
Do Amino Acid Biosynthetic Costs Constrain Protein Evolution in Saccharomyces cerevisiae?, Douglas W. Raiford, Esley M. Heizer, Robert V. Miller, Hiroshi Akashi, Michael L. Raymer, and Dan E. Krane
Validation of the Human Alu Phylogeny: A Whole-Genome Analysis, Sridhar Ramachandran and Travis E. Doom
A Time and Dose Response Metabonomics Study of D-Serine Toxicity in Rats, Nicholas V. Reo, Andy E. Neuforth, William P. Couch, Michael L. Raymer, Paul E. Anderson, Deirdre A. Mahle, and Nicholas J. DelRaso
All Elephants are Bigger than All Mice, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler
What is Approximate Reasoning?, Sebastian Rudolph, Tuvshintur Tserendorj, and Pascal Hitzler
Ontology Driven Semantic Provenance for Heterogeneous Bionomics Experimental Data, Satya S. Sahoo, Michael L. Raymer, Cory Andrew Henson, Amit P. Sheth, and William S. York
The State of the Art in Flow Visualization: Partition-Based Techniques, Tobias Salzbrunn, Heike Janicke, Thomas Wischgoll, and Gerik Scheuermann
Imprecision and Structure in Modelling Subjective Similarity, Thomas Sudkamp
Refinement of Temporal Constraints in Fuzzy Associations, Thomas Sudkamp
Sporadic Fuzzy Temporal Associations, Thomas Sudkamp
Approximate OWL-Reasoning with Screech, Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler
Learning Expressive Ontologies, Johanna Volker, Peter Haase, and Pascal Hitzler
A Low-Cost, Linux-Based Virtual Environment for Visualizing Vascular Structures, Thomas Wischgoll
Validation of Image-Based Method for Extraction of Coronary Morphometry, Thomas Wischgoll, Jenny Susana Choy, Erik L. Ritman, and Ghassan S. Kassab
Submissions from 2007
A Fully Connectionist Model Generator for Covered First-Order Logic Programs, Sebastian Bader, Pascal Hitzler, Steffen Holldobler, and Andreas Witzel
The Core Method: Connectionist Model Generation for First-Order Logic Programs, Sebastian Bader, Pascal Hitzler, Steffen Holldobler, and Andreas Witzel
Decidability Under the Well-Founded Semantics, Natalia Cherchago, Pascal Hitzler, and Steffen Holldobler
Run-Specific Limits of Detection and Quantitation for STR-based DNA Testing, Jason R. Gilder, Travis E. Doom, Keith Inman, and Dan E. Krane
Knowledge Representation and Ontologies, Stephan Grimm and Pascal Hitzler
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning, Stephan Grimm and Pascal Hitzler
Perspectives of Neural-Symbolic Integration, Barbara Hammer and Pascal Hitzler
Report on Realizing Practical Approximate and Distributed Reasoning for Ontologies, Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandecic, and Holger Wache
Description Logic Programs: Normal Forms, Pascal Hitzler and Andreas Eberhart
Kursarbeit mit Schulern - die Intensivkurse Mathematik, Pascal Hitzler and Gudrun Kalmbach
Flow Patterns in Three-Dimensional Porcine Epicardial Coronary Arterial Tree, Yunlong Huo, Thomas Wischgoll, and Ghassan S. Kassab
A Proposed Statistical Protocol for the Analysis of Metabolic Toxicological Data Derived from NMR Spectroscopy, Benjamin J. Kelly, Paul E. Anderson, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, and Michael L. Raymer
Comparison of Statistical Techniques for the Analysis of Metabolic Toxicological Data Derived from NMR Spectroscopy, Benjamin J. Kelly, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, and Michael L. Raymer
Engineering Mathematics Education at Wright State University: A Model for Increasing Student Success in Engineering, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, and Richard Mercer
Engineering Mathematics Education at Wright State University: Uncorking the First Year Bottleneck, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, and Richard Mercer
A National Model for Engineering Mathematics Education, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, Richard Mercer, Anant Kukreti, and Brian Randolph
A Well-Founded Semantics for Hybrid MKNF Knowledge Bases, Matthias Knorr, Jose Julio Alferes, and Pascal Hitzler
Towards Tractable Local Closed World Reasoning for the Semantic Web, Matthias Knorr, Jose Julio Alferes, and Pascal Hitzler
Comparing Disjunctive Well-founded Semantics, Matthias Knorr and Pascal Hitzler
Assessing the Implications for Close Relatives in the Event of Similar but Non-Matching DNA Profiles, Dan E. Krane
Empirical Analysis of the STR Profiles Resulting from Conceptual Mixtures, Dan E. Krane
Essential Elements of a Defense-Review of DNA Testing Results, Dan E. Krane
Run-Specific Limits of Quantitation and Detection (An Alternative to Minimum Peak Height Thresholds), Dan E. Krane
Evaluating Forensic DNA Evidence - A Day-Long Workshop, Dan E. Krane and William C. Thompson
Complexity Boundaries for Horn Description Logics, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
Complexity of Horn Description Logics, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler
A Refinement Operator Based Learning Algorithm for the ALC Description Logic, Jens Lehmann and Pascal Hitzler
Foundations of Refinement Operators for Description Logics, Jens Lehmann and Pascal Hitzler
Any-World Access to OWL from Prolog, Tobias Matzner and Pascal Hitzler
Algorithms for Paraconsistent Reasoning with OWL, Yue Ma, Pascal Hitzler, and Zuoquan Lin
Paraconsistent Resolution for Four-Valued Description Logics, Yue Ma, Pascal Hitzler, and Zuoquan Li
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Li
Usability of Multiple Degree-of-Freedom Input Devices and Virtual Reality Displays for Interactive Visual Data Analysis, Elke Moritz, Hans Hagen, Thomas Wischgoll, and Joerg Meyer
DOLCE ergo SUMO: On Foundational and Domain Models in SWIntO (Smart Web Integrated Ontology), Daniel Oberle, Anupriya Ankolekar, Pascal Hitzler, Philipp Cimiano, Michael Sintek, Malte Kiesel, Babak Mougouie, Stephan Baumann, Shankar Vembu, Massimo Romanelli, Paul Buitelaar, Ralf Engel, Daniel Sonntag, Norbert Reithinger, Berenike Loos, Hans-Peter Zorn, Vanessa Micelli, Robert Porzel, Christian Schmidt, Moritz Weiten, Felix Burkhardt, and Jianshen Zhou