Search Results - (((((((kent OR want) OR semantic) OR arts) OR cantor) OR anne) OR maarten) OR mantis) algorithms.

Mastering SciPy. by Blanco-Silva, Francisco J.

Full text (MFA users only)

PRINCIPLES OF QUANTUM ARTIFICIAL INTELLIGENCE. by Wichert, Andreas

Table of Contents: “…Computation; 2.1 Entscheidungsproblem; 2.1.1 Cantor's diagonal argument; 2.1.2 Reductio ad absurdum; 2.2 Complexity Theory; 2.2.1 Decision problems; 2.2.2 P and NP; 2.3 Church-Turing Thesis; 2.3.1 Church-Turing-Deutsch principle; 2.4 Computers; 2.4.1 Analog computers; 2.4.2 Digital computers; 2.4.3 Von Neumann architecture; 3. …”
Full text (MFA users only)

Creating wicked students : designing courses for a complex world by Hanstedt, Paul, 1965-

Full text (MFA users only)

Aggregating Dialectology, Typology, and Register Analysis : Linguistic Variation in Text and Speech

Table of Contents: “…Kretzschmar -- A weakly supervised multivariate approach to the study of language variation / Sascha Diwersy, Stefan Evert, and Stella Neumann -- Semantic weighting mechanisms in scalable lexical sociolectometry / Tom Ruette, Dirk Geeraerts, Yves Peirsman and Dirk Speelman -- Temperature in the word space : Sense exploration of temperature expressions using word-space modelling / Maria Koptjevskaja-Tamm and Magnus Sahlgren -- The perfect map : Investigating the cross-linguistic distribution of TAME categories in a parallel corpus / Östen Dahl -- Explorations into variation across Slavic : Taking a bottom-up approach / Ruprecht von Waldenfels -- Where Alice fell into : Motion events from a parallel corpus / Annemarie Verkerk -- Algorithmic typology and going from known to similar unknown categories within and across languages / Bernhard Wälchli -- Inducing place distinctions of consonants from their distribution in words / Thomas Mayer -- Laws of language and text in quantitative and synergetic linguistics / Reinhard Köhler.…”
Full text (MFA users only)

Pulmonary arterial hypertension : diagnosis and evidence-based treatment

Table of Contents: “…Combination therapy in pulmonary arterial hypertension / Anne Keogh and Marius Hoeper -- Interventional and surgical modalities of treatment for pulmonary arterial hypertension / Julio Sandoval and Ramona Doyle -- End points and clinical trial design in pulmonary arterial hypertension : clinical and regulatory perspectives / Andrew J. …”
Full text (MFA users only)

Machine Learning with Swift : Artificial Intelligence for iOS. by Sosnovshchenko, Oleksandr

Full text (MFA users only)

Graph Partitioning. by Bichot, Charles-Edmond

Table of Contents: “…Hendrickson-Leland coarsening algorithm; 2.3.4. The Heavy Edge Matching (HEM) algorithm; 2.4. …”
Full text (MFA users only)

Verification of communication protocols in web services : model-checking service compositions by Mukherjee, Anshuman

Table of Contents: “…8.2 Overview of the Problem and Solution8.3 Related Work; 8.4 Colored Petri Net Semantics for BPEL; 8.4.1 Component A; 8.4.2 Component B; 8.4.3 Object Model for BPEL Activities; 8.4.4 XML Templates; 8.4.5 Algorithm for Cloning Templates; 8.5 Results; 8.6 Discussion; 8.7 Summary; References; 9 CONCLUSIONS AND OUTLOOK; 9.1 Results; 9.2 Discussion; 9.3 What Could Be Improved?…”
Full text (MFA users only)

Particle swarm optimisation : classical and quantum perspectives by Sun, Jun, 1971-

Full text (MFA users only)

There's Something about Gödel : The Complete Guide to the Incompleteness Theorem. by Berto, Francesco

Table of Contents: “…. -- 6 ... and the unsatisfied logicists, Frege and Russell -- 7 Bits of set theory -- 8 The Abstraction Principle -- 9 Bytes of set theory -- 10 Properties, relations, functions, that is, sets again -- 11 Calculating, computing, enumerating, that is, the notion of algorithm…”
Full text (MFA users only)

Visible Business : Uncover the Blindspots and Engage the World's Female Economy. by Brideson, RJ

Table of Contents: “…Blind Spots; Contents; Foreword; About the Author; Acknowledgements; To my community; To my village; Preface; Introduction; Chapter 1 From history to herstory; The birth of business marketing; Things have changed -- or have they?; Women want more; The wo-man algorithm; Become conscious of the bias; From reject to results; Chapter 2 Are you blind?…”
Full text (MFA users only)

Optics and artificial vision by González-Acuäna, Rafael G., Chaparro-Romo, Héctor A., Melendez-Montoya, Israel

Table of Contents: “…Introduction -- 3.2. The Lucas-Kanade algorithm -- 3.3. Application of the Lucas-Kanade algorithm and its Python code -- 3.4. …”
Full text (MFA users only)

Handbook on semidefinite, conic and polynomial optimization

Table of Contents: “…Lasserre and Mihai Putinar -- Self-regular interior-point methods for semidefinite optimization / Maziar Salahi and Tamás Terlaky -- Elementary optimality conditions for nonlinear SDPs / Florian Jarre -- Recent progress in interior-point methods: cutting-plane algorithms and warm starts / Alexander Engau -- Exploiting sparsity in SDP relaxation of polynomial optimization problems / Sunyoung Kim and Masakazu Kojima -- Block coordinate descent methods for semidefinite programming / Zaiwen Wen, Donald Goldfarb, and Katya Scheinberg -- Projection methods in conic optimization / Didier Henrion and Jérôme Malick -- SDP relaxations for non-commutative polynomial optimization / Miguel Navascués, Stefano Pironio, and Antonio Acín -- Semidefinite programming and constraint programming / Willem-Jan van Hoeve -- The state-of-the-art in conic optimization software / Hans D. …”
Full text (MFA users only)

Gradience in grammar : generative perspectives

Table of Contents: “…Frisch and Adrienne Stearns -- Intermediate syntactic variants in a dialect : standard speech repertoire and relative acceptability / Leonie Cornips -- Gradedness and optionality in mature and developing grammars / Antonella Sorace -- Decomposing gradience : quantitative versus qualitative distinctions / Matthias Schlesewsky, Ina Bornkessel, and Brian McElree -- Gradient perception of intonation / Caroline Féry and Ruben Stoel -- Prototypicality judgements as inverted perception / Paul Boersma -- Modelling productivity with the gradual learning algorithm : the problem of accidentally exceptionless generalizations / Adam Albright and Bruce Hayes -- Gradedness as relative efficiency in the processing of syntax and semantics / John A. …”
Full text (MFA users only)

The virtual life of film by Rodowick, David Norman

Table of Contents: “…Film begets video -- The death of cinema and the birth of film studies -- A medium in all things -- Automatisms and art -- Automatism and photography -- Succession and the film strip -- Ways of worldmaking -- A world past -- An ethics of time -- III. …”
Full text (MFA users only)

Cognitive Electronic Warfare : An Artificial Intelligence Approach. by Haigh, Karen

Table of Contents: “…-- 1.5 Reader's Guide -- 1.6 Conclusion -- References -- 2 Objective Function -- 2.1 Observables That Describe the Environment -- 2.1.1 Clustering Environments -- 2.2 Control Parameters to Change Behavior -- 2.3 Metrics to Evaluate Performance -- 2.4 Creating a Utility Function -- 2.5 Utility Function Design Considerations -- 2.6 Conclusion -- References -- 3 ML Primer -- 3.1 Common ML Algorithms -- 3.1.1 SVMs -- 3.1.2 ANNs -- 3.2 Ensemble Methods -- 3.3 Hybrid ML -- 3.4 Open-Set Classification -- 3.5 Generalization and Meta-learning -- 3.6 Algorithmic Trade-Offs -- 3.7 Conclusion -- References -- 4 Electronic Support -- 4.1 Emitter Classification and Characterization -- 4.1.1 Feature Engineering and Behavior Characterization -- 4.1.2 Waveform Classification -- 4.1.3 SEI -- 4.2 Performance Estimation -- 4.3 Multi-Intelligence Data Fusion -- 4.3.1 Data Fusion Approaches -- 4.3.2 Example: 5G Multi-INT Data Fusion for Localization -- 4.3.3 Distributed-Data Fusion -- 4.4 Anomaly Detection -- 4.5 Causal Relationships -- 4.6 Intent Recognition -- 4.6.1 Automatic Target Recognition and Tracking -- 4.7 Conclusion -- References -- 5 EP and EA -- 5.1 Optimization -- 5.1.1 Multi-Objective Optimization -- 5.1.2 Searching Through the Performance Landscape -- 5.1.3 Optimization Metalearning -- 5.2 Scheduling -- 5.3 Anytime Algorithms -- 5.4 Distributed Optimization -- 5.5 Conclusion.…”
Full text (MFA users only)

Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

Table of Contents: “…Proof Theory; 1 Propositional Logic; 1.1 Propositional Logic Semantics; 1.2 Syntax: Deductive Logics; 1.3 The Resolution Formal Logic; 1.4 Handling Arbitrary Propositional Wffs; 2 Predicate Logic; 2.1 First-Order Semantics; 2.2 Resolution for the Predicate Calculus; 2.2.1 Substitution; 2.2.2 The Formal System for Predicate Logic; 2.2.3 Handling Arbitrary Predicate Wffs; 3 An Application: Linear Resolution and Prolog; 3.1 OSL-Resolution; 3.2 Horn Logic; 3.3 Input Resolution and Prolog; Appendix A: The Induction Principle.…”
Full text (MFA users only)

Architecture-aware optimization strategies in real-time image processing by Li, Chao, Balla-Arabe, Souleymane, Yang, Fan

Full text (MFA users only)

Big data in medical science and healthcare management : diagnosis, therapy, side effects

Table of Contents: “…Autopilot and "doctor algorithm"? -- 1. Intro big data for healthcare? / Peter Langkafel -- 2. …”
Full text (MFA users only)

Real-time database systems : architecture and techniques

Full text (MFA users only)