Submissions from 2010
A MapReduce Algorithm for EL+, Raghava Mutharaju, Frederick Maier, and Pascal Hitzler
The Semantic Web - ISWC 2010 Part I, Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, and Birte Glimm
The Semantic Web - ISWC 2010 Part II, Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, and Birte Glimm
Automated Isolation of Translational Efficiency Bias that Resists the Confounding Effect of GC(AT)-Content, Douglas W. Raiford, Dan E. Krane, Travis E. Doom, and Michael L. Raymer
Generalized Distance Functions in the Theory of Computation, Anthony K. Seda and Pascal Hitzler
Approximate Instance Retrieval on Ontologies, Tuvshintur Tserendorj, Stephan Grimm, and Pascal Hitzler
Preface, Frank van Harmelen, Andreas Herzig, Pascal Hitzler, and Guilin Qi
Modeling and Visualization of Cardiovascular Systems, Thomas Wischgoll
Three-Dimensional Stereoscopic Exploration System for the Heart, Thomas Wischgoll
Vascular Geometry Reconstruction and Grid Generation, Thomas Wischgoll, Daniel R. Einstein, Andrew P. Kuprat, Xiangmin Jiao, and Ghassan S. Kassab
Submissions from 2009
A Web-Based Framework for the Distribution of Bioinformatics Techniques: Orthogonal Projection on Latent Structures and Principal Component Analysis Implemented as RESTful Web Services, Paul E. Anderson, Nate Hodson, Benjamin J. Kelly, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, Michael L. Raymer, and C. J. Fravel
Characterization of 1H NMR Spectroscopic Data and the Generation of Synthetic Validation Sets, Paul E. Anderson, Michael L. Raymer, Benjamin J. Kelly, Nicholas V. Reo, Nicholas J. DelRaso, and Travis E. Doom
Defining the Features of the WSML-DL v2.0 Language, Barry Bishop, Florian Fischer, Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph, Yiorgos Trimponias, and Gulay Unel
Improving Remote Homology Detection Using Sequence Properties and Position Specific Scoring Matrices, Gina Cooper and Michael L. Raymer
Classifying Web Robots by K-Means Clustering, Derek Doran and Swapna S. Gokhale
Proceedings of the Second Conference on Artificial General Intelligence, Ben Goertzel, Pascal Hitzler, and Marcus Hutter
A Preferential Tableaux Calculus for Circumscriptive ALCO, Stephan Grimm and Pascal Hitzler
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
