Search Results - (((((((kant OR wint) OR semantic) OR arte) OR cantor) OR anne) OR maarten) OR mantas) 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

    Advances in informatics, management and technology in healthcare

    Published 2022
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  12. 12

    Informatics and technology in clinical care and public health

    Published 2022
    Table of Contents: “…Intro -- Title Page -- Preface -- ICIMTH 2021 Scientific Programme Committee and Reviewers -- Contents -- Using Artificial Intelligence to Develop a Lexicon-Based African American Tweet Detection Algorithm to Inform Culturally Sensitive Twitter-Based Social Support Interventions for African American Dementia Caregivers -- A Comparison of Word Embeddings to Study Complications in Neurosurgery -- Gulf Cooperation Council Clinical Trials in the Pursuit of Medications for COVID-19…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  13. 13
  14. 14

    Genome Sequencing Technology and Algorithms. by Kim, Sun

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

    Graph algorithms and applications 3

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

    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
  17. 17

    Enabling health informatics applications

    Published 2015
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  18. 18

    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
  19. 19

    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
  20. 20