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

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)

A Case for the Existence of God. by Overman, Dean L.

Table of Contents: “…A CASE FOR THE EXISTENCE OF GOD; ABRIDGED CONTENTS; CONTENTS; FOREWORD; PREFACE; ACKNOWLEDGMENTS; Chapter 01: INTRODUCTION; Chapter 02: THE QUESTION OF GOD'S EXISTENCE; Chapter 03: MANY GENERATIONS OF PHILOSOPHERS HAVE MADE THE MISTAKE OF ASSUMING HUME AND KANT'S OBJECTIONS DISPOSED OF THE COSMOLOGICAL ARGUMENT; Chapter 04: A UNIVERSE WITH AN INFINITE PAST WOULD STILL REQUIRE A NECESSARY BEING TO SUSTAIN ITS EXISTENCE; Chapter 05: BECAUSE THE UNIVERSE (OR MULTIVERSE) HAD A BEGINNING, IT IS CONTINGENT AND HAS A CAUSE FOR ITS COMING INTO EXISTENCE.…”
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)

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)

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)

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)

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)

The Fifth Decade of Cardiac Pacing. by Barold, S. Serge

Table of Contents: “…; 11 Permanent and Temporary Single-Lead VDD and DDD Pacing: State of the Art; 12 Pacemaker Memory: Basic Concepts and New Technology; 13 Future Trends in Pacemaker Technology; 14 Diagnosis of Supraventricular Tachyarrhythmias by Automatic Mode-Switching Algorithms of Dual-Chamber Pace.…”
Full text (MFA users only)

Integrated and collaborative product development environment : technologies and implementations by Li, W. D.

Table of Contents: “…5.4 Experimental Results5.4.1 Sample parts; 5.4.2 Computation results; 5.4.3 Comparisons of constraint handling methods; 5.4.4 Algorithm implementation; 5.5 Summary; 6. Collaborative Computer-Aided Design -- State-of-the-Art; 6.1 Introduction; 6.2 Visualisation-based Collaborative Systems; 6.2.1 3D representations for Web applications; 6.2.2 System architectures and implementation strategies; 6.3 Co-design Collaborative Systems; 6.3.1 System architectures; 6.3.2 Design coordination and team management; 6.3.3 Optimised feature and assembly-based representations.…”
Full text (MFA users only)

Hands-On Reinforcement Learning with Python : Master Reinforcement and Deep Reinforcement Learning Using OpenAI Gym and TensorFlow. by Ravichandiran, Sudharsan

Table of Contents: “…Solving the taxi problem using Q learningSARSA; Solving the taxi problem using SARSA; The difference between Q learning and SARSA; Summary; Questions; Further reading; Chapter 6: Multi-Armed Bandit Problem; The MAB problem; The epsilon-greedy policy; The softmax exploration algorithm; The upper confidence bound algorithm; The Thompson sampling algorithm; Applications of MAB; Identifying the right advertisement banner using MAB; Contextual bandits; Summary; Questions; Further reading; Chapter 7: Deep Learning Fundamentals; Artificial neurons; ANNs; Input layer; Hidden layer; Output layer.…”
Full text (MFA users only)

The NURBS Book by Piegl, Les

Full text (MFA users only)

Constraint Solving over Multi-valued Logics : Application to Digital Circuits.

Table of Contents: “…-- 3.2 Test Generation -- 3.3 TG Modelling Approaches and Algorithms.…”
Full text (MFA users only)

HTML5 Multimedia Development Cookbook. by Cruse, Dale

Table of Contents: “…More flexible footer contentApplying the outline algorithm; Getting ready; How to do it ... ; How it works ... ; There's more ... ; Are you sure?…”
Full text (MFA users only)

Circuit analysis

Table of Contents: “…CIRCUIT ANALYSIS; ELECTRICAL ENGINEERINGDEVELOPMENTS; CONTENTS; PREFACE; ELEMENT STAMP ALGORITHM FOR MATRIXFORMULATION OF SYMBOLIC CIRCUITS; Abstract; 1. …”
Full text (MFA users only)