Search Results - (((((((want OR win) OR semantic) OR arts) OR cantor) OR anne) OR maarten) OR santis) algorithms.

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)

Chance : the life of games and the game of life by Sá, J. P. Marques de, 1946-

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)

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)

Digital signal processing with kernel methods by Rojo-Álvarez, José Luis, 1972-, Martínez-Ramón, Manel, 1968-, Muñoz Marí, Jordi, Camps-Valls, Gustavo, 1972-

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)

Machine Learning for Asset Management New Developments and Financial Applications

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)

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)