Search Results for Computer algorithms.

1.

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

by

Boldo, Sylvie, author.

Click to View

Format:

Excerpt:

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /

2.

Machine trading : deploying computer algorithms to conquer the markets

by

Chang, Ernest P., author.

Click to View

Format:

Excerpt:

Machine trading : deploying computer algorithms to conquer the markets / Chang, Ernest P., author.

3.

Using additional information in streaming algorithms

by

Buff, Raffael, author.

Click to View

Format:

Excerpt:

Computer algorithms.

4.

Algoritmalara giriş

by

Cormen, Thomas, author

Format:

Excerpt:

Computer algorithms

5.

Cryptographic Boolean functions and applications

by

Cusick, Thomas W., author.

Click to View

Format:

Excerpt:

Computer algorithms.

6.

Low-rank models in visual analysis : theories, algorithms, and applications

by

Lin, Zhouchen, author.

Click to View

Format:

Excerpt:

Computer algorithms.

7.

Python data structures and algorithms : improve the performance and speed of your applications

by

Baka, Benjamin, author.

Click to View

Format:

Excerpt:

Computer algorithms.

8.

Optical Character Recognition Systems for Different Languages with Soft Computing

by

Chaudhuri, Arindam. author.

http://dx.doi.org/10.1007/978-3-319-50252-6

Format:

Excerpt:

algorithms, are tested using real texts written in different languages, such as English, French, German

9.

Processing of Hyperspectral Medical Images Applications in Dermatology Using Matlab®

by

Koprowski, Robert. author.

http://dx.doi.org/10.1007/978-3-319-50490-2

Format:

Excerpt:

without licensing restrictions. This is a valuable resource for computer scientists, bioengineers

Cover image for Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

10.

Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

by

Silhavy, Radek. editor.

http://dx.doi.org/10.1007/978-3-319-57261-1

Format:

Excerpt:

Intelligence Trends in Intelligent Systems Section of the 6th Computer Science On-line Conference 2017 (CSOC

11.

Metaheuristics for Medicine and Biology

by

Nakib, Amir. editor.

http://dx.doi.org/10.1007/978-3-662-54428-0

Format:

Excerpt:

now become one of the most central topics in computer science, computer engineering and electrical and

12.

Proceedings of the First International Conference on Intelligent Computing and Communication

by

Mandal, Jyotsna Kumar. editor.

http://dx.doi.org/10.1007/978-981-10-2035-3

Format:

Excerpt:

swarm intelligence, artificial intelligence, evolutionary algorithms, and bio-inspired algorithms. It is

13.

Lessons in Teaching Computing in Primary Schools.

by

Bird, James.

Click to View

Format:

Excerpt:

-- CHAPTER 6- UNDERSTANDING COMPUTER NETWORKS IN KS2 -- CHAPTER 7- SEARCHING WISELY FOR DIGITAL INFORMATION

14.

AETA 2016: Recent Advances in Electrical Engineering and Related Sciences Theory and Application

by

Duy, Vo Hoang. editor.

http://dx.doi.org/10.1007/978-3-319-50904-4

Format:

Excerpt:

, renewable energy, mechanical engineering, computer science and more. Readers will find revealing papers on

Cover image for Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017

15.

Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017

by

Chang, Ignacio. editor.

http://dx.doi.org/10.1007/978-3-319-54377-2

Format:

Excerpt:

, mobile robotics, computer vision, educational robotics, robotics modeling and simulation, and robotics

Cover image for Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

16.

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

by

Silhavy, Radek. editor.

http://dx.doi.org/10.1007/978-3-319-57141-6

Format:

Excerpt:

particularly focuses on modern trends in selected fields of interest, introducing new algorithms, methods and

Cover image for Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

17.

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

by

Silhavy, Radek. editor.

http://dx.doi.org/10.1007/978-3-319-57264-2

Format:

Excerpt:

introduces new algorithms, methods and applications of intelligent systems in automation, technological and

18.

Fluid Dynamics Theory, Computation, and Numerical Simulation

by

Pozrikidis, C. author.

http://dx.doi.org/10.1007/978-1-4899-7991-9

Format:

Excerpt:

computer codes that demonstrate the implementation of elementary and advanced algorithms and provide an

19.

Digital Systems From Logic Gates to Processors

by

Deschamps, Jean-Pierre. author.

http://dx.doi.org/10.1007/978-3-319-41198-9

Format:

Excerpt:

relationship between algorithms and circuits (top down approach) and on the use of high level languages (Pseudo

20.

Multilayer Control of Networked Cyber-Physical Systems Application to Monitoring, Autonomous and Robot Systems

by

Manfredi, Sabato. author.

http://dx.doi.org/10.1007/978-3-319-41646-5

Format:

Excerpt:

, engineering, sensor networks, mobile robotics and computer networks will find this book instructive. It will

21.

Estimation and Control for Networked Systems with Packet Losses without Acknowledgement

by

Lin, Hong. author.

http://dx.doi.org/10.1007/978-3-319-44212-9

Format:

Excerpt:

computer routines. It also provides MATLAB® routines for the key algorithms. It shows how these methods and

22.

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment

by

Sklavos, Nicolas. editor.

http://dx.doi.org/10.1007/978-3-319-44318-8

Format:

Excerpt:

, manufacturing, testing, reliability, validation and utilization; Describes new methods and algorithms for the

Cover image for Advanced Computing in Industrial Mathematics Revised Selected Papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria

23.

Advanced Computing in Industrial Mathematics Revised Selected Papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria

by

Georgiev, Krassimir. editor.

http://dx.doi.org/10.1007/978-3-319-49544-6

Format:

Excerpt:

in mat hbbC and R -- Computer Aided Modeling of Ultrasonic Surface Waves Propagation in Materials

24.

Computing Platforms for Software-Defined Radio

by

Hussain, Waqar. editor.

http://dx.doi.org/10.1007/978-3-319-49679-5

Format:

Excerpt:

exploiting fine-grained, coarse-grained, or hybrid reconfigurability. Describes a computer engineering

25.

Foundations of Computer Vision Computational Geometry, Visual Image Structures and Object Shape Detection

by

Peters, James F. author.

http://dx.doi.org/10.1007/978-3-319-52483-2

Format:

Excerpt:

supplies us with structures useful in the analysis and classiﬁcation of image regions. Algorithms provide a

Cover image for Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2016

26.

Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2016

by

Evgrafov, Alexander N. editor.

http://dx.doi.org/10.1007/978-3-319-53363-6

Format:

Excerpt:

-- Computer Simulation of Mechanisms -- Principle of Compatibility of Heterogeneous Additives in Triboactive

27.

Transparent Data Mining for Big and Small Data

by

Cerquitelli, Tania. editor.

http://dx.doi.org/10.1007/978-3-319-54024-5

Format:

Excerpt:

Algorithms Regulation? First Ethico-legal Principles, Problems and Opportunities of Algorithms -- Chapter 9

28.

Robotics, Vision and Control Fundamental Algorithms In MATLAB® Second, Completely Revised, Extended And Updated Edition

by

Corke, Peter. author.

http://dx.doi.org/10.1007/978-3-319-54413-7

Format:

Excerpt:

computer algorithms to data acquired from sensors. The research community has developed a large body of

29.

11th International Conference on Practical Applications of Computational Biology & Bioinformatics

by

Fdez-Riverola, Florentino. editor.

http://dx.doi.org/10.1007/978-3-319-60816-7

Format:

Excerpt:

, Statistics, Data Mining, Machine Learning, Optimization, Computer Science and Artificial Intelligence

30.

Star Identification Methods, Techniques and Algorithms

by

Zhang, Guangjun. author.

http://dx.doi.org/10.1007/978-3-662-53783-1

Format:

Excerpt:

identification using modified triangle algorithms, star identification using star patterns and using neural

31.

Quantum Signal Processing by Single-Qubit Dynamics

by

Low, Guang Hao, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902235

Format:

Excerpt:

algorithms, optimally computing on matrices with a quantum computer, and the simulation of physical systems

32.

Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms

by

Adamatzky, Andrew. editor.

http://dx.doi.org/10.1007/978-3-319-33921-4

Format:

Excerpt:

algorithms, design optimal architectures and manufacture working prototypes of future and emergent computing

33.

Advances in Unconventional Computing Volume 1: Theory

by

Adamatzky, Andrew. editor.

http://dx.doi.org/10.1007/978-3-319-33924-5

Format:

Excerpt:

algorithms, design optimal architectures and manufacture working prototypes of future and emergent computing

34.

Adaptive and Robust Active Vibration Control Methodology and Tests

by

Landau, Ioan Doré. author.

http://dx.doi.org/10.1007/978-3-319-41450-8

Format:

Excerpt:

(which can be found elsewhere) and focuses on algorithms and their use. The solutions proposed cannot be

35.

Nonlinear Model Predictive Control Theory and Algorithms

by

Grüne, Lars. author.

http://dx.doi.org/10.1007/978-3-319-46024-6

Format:

Excerpt:

nonlinear optimal control algorithms yields essential insights into how the nonlinear optimization routine

36.

Emergent Computation A Festschrift for Selim G. Akl

by

Adamatzky, Andrew. editor.

http://dx.doi.org/10.1007/978-3-319-46376-6

Format:

Excerpt:

, computer chess, parallel algorithms to string alignment, detection of community structure. The book is a

37.

Smart Electromechanical Systems: The Central Nervous System

by

Gorodetskiy, Andrey E. editor.

http://dx.doi.org/10.1007/978-3-319-53327-8

Format:

Excerpt:

, providing a fundamentally new approach to the methods and algorithms of formation of appropriate robot

38.

Heterogeneous Transfer Learning

by

Wei, Ying, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903405

Format:

Excerpt:

-scale real-world datasets from different applications including computer vision, social media, health care

39.

Advanced Topics in Intelligent Information and Database Systems

by

Król, Dariusz. editor.

http://dx.doi.org/10.1007/978-3-319-56660-3

Format:

Excerpt:

-- Combination of Collision Detection and Visibility Algorithms in Simulation of Eﬀective Placement of Anti

40.

Proceedings of International Conference on Communication and Networks ComNet 2016

by

Modi, Nilesh. editor.

http://dx.doi.org/10.1007/978-981-10-2750-5

Format:

Excerpt:

, and Applications. The topics covered in the book are newly emerging algorithms, communication systems

	{displayName}	{count}
{error}