Search Results - (((((((kant OR wint) OR semantic) OR arte) OR cantor) OR anne) OR maarten) OR mantis) algorithms.

Refine Results
  1. 1
  2. 2

    How to guard an art gallery and other discrete mathematical adventures by Michael, T. S., 1960-

    Published 2009
    Table of Contents: “…s Formula: Second Proof -- 2.8 Batting Averages and Lattice Points -- 2.9 Three Dimensions and N-largements -- 2.10 Notes and References -- 2.11 Problems -- 3 How to Guard an Art Gallery -- 3.1 The Sunflower Art Gallery -- 3.2 Art Gallery Problems -- 3.3 The Art Gallery Theorem -- 3.4 Colorful Consequences -- 3.5 Triangular and Chromatic Assumptions -- 3.6 Modern Art Galleries -- 3.7 Art Gallery Sketches -- 3.8 Right-Angled Art Galleries -- 3.9 Guarding the Guards -- 3.10 Three Dimensions and the Octoplex…”
    Full text (MFA users only)
    Electronic eBook
  3. 3
  4. 4

    The Human Algorithm by Solis, Brian

    Published 2019
    Full text (MFA users only)
    Electronic eBook
  5. 5
  6. 6

    Open Data Structures : an Introduction. by Morin, Pat

    Published 2014
    Full text (MFA users only)
    Electronic eBook
  7. 7
  8. 8

    Pathway modeling and algorithm research

    Published 2011
    Table of Contents: “…PATHWAY MODELING AND ALGORITHM RESEARCH; PATHWAY MODELING AND ALGORITHM RESEARCH; Contents; Preface; Biological Pathways and Their Modeling; Abstract; 1. …”
    Full text (MFA users only)
    Electronic eBook
  9. 9
  10. 10

    Semantic matchmaking with nonmonotonic description logics by Grimm, Stephan

    Published 2009
    Table of Contents: “…Nonmonotonic Reasoning in the Semantic WebNonmonotonic Description Logics; Autoepistemic Description Logics; Formal Semantics for Autoepistemic DLs; Reasoning with Epistemic Operators; Circumscriptive Description Logics; Formal Semantics for Circumscriptive DLs; Reasoning with Circumscribed Knowledge Bases; Terminological Defaults; Discussion; A Reasoning Algorithm for Circumscriptive Description Logics; Principle Idea of a Tableaux Extension; Extending DL Tableaux Calculi by Preference Clashes; Restrictions on the Formalism; Deciding Circumscriptive ALCO…”
    Full text (MFA users only)
    Electronic eBook
  11. 11
  12. 12

    Genome Sequencing Technology and Algorithms. by Kim, Sun

    Published 2007
    Full text (MFA users only)
    Electronic eBook
  13. 13

    Graph algorithms and applications 3

    Published 2004
    Full text (MFA users only)
    Electronic eBook
  14. 14

    Data management in the semantic web

    Published 2011
    Table of Contents: “…DATA MANAGEMENT IN THE SEMANTIC WEB ; DATA MANAGEMENT IN THE SEMANTIC WEB ; CONTENTS ; PREFACE ; INTERPRETATIONS OF THE WEB OF DATA; Abstract; 1. …”
    Full text (MFA users only)
    Electronic eBook
  15. 15

    Learning OWL class expressions by Lehmann, Jens, 1982-

    Published 2010
    Table of Contents: “…Preliminaries and State of the Art; Semantic Web; History and Vision; RDF and SPARQL; Description Logics; OWL; Concept Learning and Inductive Reasoning; History, Tools, and Applications; Learning Problems in OWL/DLs; Refinement Operators in OWL/DLs; Chapter 3. …”
    Full text (MFA users only)
    Electronic eBook
  16. 16

    Metaheuristic optimization for the design of automatic control laws by Sandou, Guillaume

    Published 2013
    Table of Contents: “…Motivations to use metaheuristic algorithms -- 1.3. Organization of the book -- Chapter 2. …”
    Full text (MFA users only)
    Electronic eBook
  17. 17
  18. 18
  19. 19

    Algorithms, architectures and information systems security

    Published 2009
    Table of Contents: “…Theory of a Practical Delaunay Meshing Algorithm for a Large Class of Domains S.-W. Cheng, T.K. …”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  20. 20