Search Results - (((((((kant OR manthe) OR mind) OR semantic) OR cantor) OR anne) OR halted) OR graning) algorithms.

Theory of randomized search heuristics : foundations and recent developments

Full text (MFA users only)

Conceptual atomism and the computational theory of mind : a defense of content-internalism and semantic externalism by Kuczynski, John-Michael

Full text (MFA users only)

The Human Algorithm by Solis, Brian

Full text (MFA users only)

What Is Thought? by Baum, Eric B., 1957-

Full text (MFA users only)

Algorithmic composition : a guide to composing music with Nyquist by Simoni, Mary Hope

Full text (MFA users only)

Pathway modeling and algorithm research

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)

A CALCULUS OF IDEAS : a MATHEMATICAL STUDY OF HUMAN THOUGHT. by Grenander, Ulf

Full text (MFA users only)

Semantic matchmaking with nonmonotonic description logics by Grimm, Stephan

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)

Graph algorithms and applications 3

Full text (MFA users only)

Data management in the semantic web

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)

Poetry and Mind : Tractatus Poetico-Philosophicus by Dubreuil, Laurent

Full text (MFA users only)

Learning OWL class expressions by Lehmann, Jens, 1982-

Table of Contents: “…Refinement Operator Based OWL Learning Algorithms; OCEL (OWL Class Expression Learner); Redundancy Elimination; Creating a Full Learning Algorithm; ELTL (EL Tree Learner)…”
Full text (MFA users only)

Natural language processing : semantic aspects by Kapetanios, Epaminondas, Tatar, Doina, 1943-, Sacarea, Christian

Full text (MFA users only)

Energy Psychology : Explorations at the Interface of Energy, Cognition, Behavior, and Health. by Gallo, Fred P.

Full text (MFA users only)

Building winning algorithmic trading systems : a trader's journey from data mining to Monte Carlo simulation to live trading by Davey, Kevin J., 1966-

Full text (MFA users only)

Network and discrete location : models, algorithms, and applications by Daskin, Mark S., 1952-

Full text (MFA users only)

Learning Neo4j 3.x - Second Edition. by Baton, Jerome

Full text (MFA users only)

The emperor's new mind : concerning computers, minds, and the laws of physics by Penrose, Roger

Table of Contents: “…Cover; Contents; Prologue; 1 CAN A COMPUTER HAVE A MIND?; Introduction; The Turing test; Artificial intelligence; An AI approach to 'pleasure' and 'pain'; Strong AI and Searle's Chinese room; Hardware and software; 2 ALGORITHMS AND TURING MACHINES; Background to the algorithm concept; Turing's concept; Binary coding of numerical data; The Church-Turing Thesis; Numbers other than natural numbers; The universal Turing machine; The insolubility of Hilbert's problem; How to outdo an algorithm; Church's lambda calculus; 3 MATHEMATICS AND REALITY; The land of Tor'Bled-Nam; Real numbers.…”
Full text (MFA users only)

Deep Learning for the Earth Sciences : A Comprehensive Approach to Remote Sensing, Climate Science and Geosciences. by Camps-Valls, Gustau

Table of Contents: “…6.1.4 Evaluation Metrics -- 6.1.4.1 Precision-Recall Curve -- 6.1.4.2 Average Precision and Mean Average Precision -- 6.1.5 Applications -- 6.2 Preliminaries on Object Detection with Deep Models -- 6.2.1 Two-stage Algorithms -- 6.2.1.1 R-CNNs -- 6.2.1.2 R-FCN -- 6.2.2 One-stage Algorithms -- 6.2.2.1 YOLO -- 6.2.2.2 SSD -- 6.3 Object Detection in Optical RS Images -- 6.3.1 Related Works -- 6.3.1.1 Scale Variance -- 6.3.1.2 Orientation Variance -- 6.3.1.3 Oriented Object Detection -- 6.3.1.4 Detecting in Large-size Images -- 6.3.2 Datasets and Benchmark -- 6.3.2.1 DOTA -- 6.3.2.2 VisDrone…”
Full text (MFA users only)

Poems that solve puzzles : the history and science of algorithms by Bleakley, Chris

Table of Contents: “…-- Quantum Computers -- Not The End -- Appendix -- PageRank Algorithm -- Artificial Neural Network Training -- Bitcoin Algorithm -- Shor's Algorithm -- Notes -- Introduction -- Chapter 1 Ancient Algorithms -- Chapter 2 Ever-Expanding Circles…”
Full text (MFA users only)