Informatique avancée dans Informatique et Essais et documents eBooks

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Modifié par Isil Dillig, Serdar Tasiran ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... En savoir plus

Gratuit

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... En savoir plus
The Cortex and the Critical Point

Understanding the Power of Emergence

par John M. Beggs ...

How the cerebral cortex operates near a critical phase transition point for optimum performance.Individual neurons have limited computational powers, but when they work together, it is almost like magic. Firing synchronously and then breaking off to improvise by themselves, they can be paradoxically both independent and interdependent. This happens near the critical point: when neurons are poised ... En savoir plus

$51.99 CAD

How the cerebral cortex operates near a critical phase transition point for optimum performance.Individual neurons have limited computational powers, but when they work together, it is almost like magic. Firing synchronously and then breaking off to improvise by themselves, they can be paradoxically both independent and interdependent. This happens near the critical point: when neurons are poised
... En savoir plus
Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery

par Loris Fichera ...

Collections series Engineering (R0)
This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ perception of the state of tissues and enhance their control over laser incisions. The research problem is formulated as the estimation of variables that are representative of the state of tissues during laser cutting. Prior research in this area leveraged numerical ... En savoir plus

Gratuit

This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ perception of the state of tissues and enhance their control over laser incisions. The research problem is formulated as the estimation of variables that are representative of the state of tissues during laser cutting. Prior research in this area leveraged numerical
... En savoir plus
Bioimage Data Analysis Workflows

Modifié par Kota Miura, Nataša Sladoje ...

Collections series Learning Materials in Biosciences
This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theory, and instead uses practical examples and step-by step protocols to familiarize readers with the most commonly used image processing and analysis platforms such as ImageJ, MatLab and Python. Besides ... En savoir plus

Gratuit

This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theory, and instead uses practical examples and step-by step protocols to familiarize readers with the most commonly used image processing and analysis platforms such as ImageJ, MatLab and Python. Besides
... En savoir plus
L'ordinateur portable Poche Pour les Nuls, 3e

par Dan Gookin ...

Traduit par Philip Escartin ...

Indispensable pour découvrir son PC avec Windows 10 et Internet !Nouvelle édition du titre le plus vendu sur l'ordinateur portable.Vous venez de faire l'acquisition d'un nouveau PC flambant neuf avec Windows 10 ou vous êtes décidé à le faire, mais la bête vous fait peur ?Avec ce livre tout en couleur entièrement consacré au PC sous Windows 10, oubliez vos craintes, vous êtes tout prêt de maîtriser ... En savoir plus

$15.99 CAD

Indispensable pour découvrir son PC avec Windows 10 et Internet !Nouvelle édition du titre le plus vendu sur l'ordinateur portable.Vous venez de faire l'acquisition d'un nouveau PC flambant neuf avec Windows 10 ou vous êtes décidé à le faire, mais la bête vous fait peur ?Avec ce livre tout en couleur entièrement consacré au PC sous Windows 10, oubliez vos craintes, vous êtes tout prêt de maîtriser
... En savoir plus
Problem Solving In Operation Management

Modifié par Patricia Esperanza Balderas-Cañas, Gabriel De Las Nieves Sánchez-Guerrero ...

Collections series Engineering (R0)
This volume examines problem solving and applied systems aimed at improving performance and management of organizations. The book’s eight chapters are integrated into two parts: methodologies and techniques that discuss complex dynamic analysis of the organizations, participative processes for building trend scenarios, consultancy as a systemic intervention process, processes to promote innovative ... En savoir plus

$115.99 CAD

This volume examines problem solving and applied systems aimed at improving performance and management of organizations. The book’s eight chapters are integrated into two parts: methodologies and techniques that discuss complex dynamic analysis of the organizations, participative processes for building trend scenarios, consultancy as a systemic intervention process, processes to promote innovative
... En savoir plus
Rethinking IT in Construction and Engineering

Organisational Readiness

par Mustafa Alshawi ...

How could the potential of IT be realised to improve business performance in architecture, construction and engineering organisations? How could organisations unleash the potential of IT to achieve a sustainable competitive advantage? How can organisations migrate from technology to IT-enabled business thinking?Based on the author's twenty years research experience, this book provides a holistic ... En savoir plus

Gratuit

How could the potential of IT be realised to improve business performance in architecture, construction and engineering organisations? How could organisations unleash the potential of IT to achieve a sustainable competitive advantage? How can organisations migrate from technology to IT-enabled business thinking?Based on the author's twenty years research experience, this book provides a holistic
... En savoir plus
AI-Assisted SDD: Spec-Driven Development with Gemini, Claude, and ai-sdd

par LEONARDO SAMPAIO ...

THE UNIVERSAL METHODOLOGY FOR AI-ASSISTED SOFTWARE DEVELOPMENTAre you using AI assistants like Claude or Gemini to build software 10x faster—but STILL rebuilding features, firefighting bugs, and realizing "that's not what we asked for"?Here's why: AI without structure just amplifies chaos. You're building the wrong thing 10x faster.This book introduces a universal, future-proof methodology for ... En savoir plus

$9.99 CAD

THE UNIVERSAL METHODOLOGY FOR AI-ASSISTED SOFTWARE DEVELOPMENTAre you using AI assistants like Claude or Gemini to build software 10x faster—but STILL rebuilding features, firefighting bugs, and realizing "that's not what we asked for"?Here's why: AI without structure just amplifies chaos. You're building the wrong thing 10x faster.This book introduces a universal, future-proof methodology for
... En savoir plus
Practical Rust Web Projects

Building Cloud and Web-Based Applications

par Shing Lyu ...

Collections series Professional and Applied Computing (R0)
Go beyond the basics of Rust and build web and serverless cloud applications. The applications explained in this practical book include web sites, RESTful APIs, a real-time web chat application, and frontend application with WebAssembly. Each chapter is organized in the following format: what this kind of application looks like; requirements for the example program; an introduction to the Rust ... En savoir plus

$44.99 CAD

Go beyond the basics of Rust and build web and serverless cloud applications. The applications explained in this practical book include web sites, RESTful APIs, a real-time web chat application, and frontend application with WebAssembly. Each chapter is organized in the following format: what this kind of application looks like; requirements for the example program; an introduction to the Rust
... En savoir plus
Science Fiction

par Sherryl Vint ...

Collections series The MIT Press Essential Knowledge series
How science fiction has been a tool for understanding and living through rapid technological change.The world today seems to be slipping into a science fiction future. We have phones that speak to us, cars that drive themselves, and connected devices that communicate with each other in languages we don't understand. Depending the news of the day, we inhabit either a technological utopia or Brave ... En savoir plus

$19.99 CAD

How science fiction has been a tool for understanding and living through rapid technological change.The world today seems to be slipping into a science fiction future. We have phones that speak to us, cars that drive themselves, and connected devices that communicate with each other in languages we don't understand. Depending the news of the day, we inhabit either a technological utopia or Brave
... En savoir plus
Mastering Machine Learning with Python in Six Steps

A Practical Implementation Guide to Predictive Data Analytics Using Python

par Manohar Swamynathan ...

Collections series Professional and Applied Computing (R0)
Explore fundamental to advanced Python 3 topics in six steps, all designed to make you a worthy practitioner. This updated version’s approach is based on the “six degrees of separation” theory, which states that everyone and everything is a maximum of six steps away and presents each topic in two parts: theoretical concepts and practical implementation using suitable Python 3 packages.You’ll start ... En savoir plus

$75.99 CAD

Explore fundamental to advanced Python 3 topics in six steps, all designed to make you a worthy practitioner. This updated version’s approach is based on the “six degrees of separation” theory, which states that everyone and everything is a maximum of six steps away and presents each topic in two parts: theoretical concepts and practical implementation using suitable Python 3 packages.You’ll start
... En savoir plus
Platform Ecosystems

Aligning Architecture, Governance, and Strategy

par Amrit Tiwana ...

Platform Ecosystems is a hands-on guide that offers a complete roadmap for designing and orchestrating vibrant software platform ecosystems. Unlike software products that are managed, the evolution of ecosystems and their myriad participants must be orchestrated through a thoughtful alignment of architecture and governance. Whether you are an IT professional or a general manager, you will benefit ... En savoir plus

$39.99 CAD

Platform Ecosystems is a hands-on guide that offers a complete roadmap for designing and orchestrating vibrant software platform ecosystems. Unlike software products that are managed, the evolution of ecosystems and their myriad participants must be orchestrated through a thoughtful alignment of architecture and governance. Whether you are an IT professional or a general manager, you will benefit
... En savoir plus
HTC One M9: A Guide for Beginners

par Matthew Hollinder ...

Apple iPhone users have been able to connect their phones to car navigation systems for years, so one may wonder what is so different about Apple CarPlay.For starters, instead of connecting to a third-party configuration CarPlay launches a display which mimics the features of the iOS user interface that we’ve become accustomed to. CarPlay condenses your phone’s apps into those, which are ... En savoir plus

$4.16 CAD

Apple iPhone users have been able to connect their phones to car navigation systems for years, so one may wonder what is so different about Apple CarPlay.For starters, instead of connecting to a third-party configuration CarPlay launches a display which mimics the features of the iOS user interface that we’ve become accustomed to. CarPlay condenses your phone’s apps into those, which are
... En savoir plus
Bridging the Gap Between AI and Reality

First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Modifié par Bernhard Steffen ...

Collections series Springer Nature Proceedings Computer Science
This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of ... En savoir plus

Gratuit

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of
... En savoir plus
Heterogeneous Computing with OpenCL 2.0

par Perhaad Mistry, Dana Schaa, Dong Ping Zhang, David R. Kaeli ...

Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs). This fully-revised edition includes the latest enhancements in OpenCL 2.0 including: • Shared virtual memory to increase programming flexibility and reduce data ... En savoir plus

$66.99 CAD

Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs). This fully-revised edition includes the latest enhancements in OpenCL 2.0 including: • Shared virtual memory to increase programming flexibility and reduce data
... En savoir plus
Raspberry Pi Computer Vision Programming

Design and implement computer vision applications with Raspberry Pi, OpenCV, and Python 3

par Ashwin Pajankar ...

Perform a wide variety of computer vision tasks such as image processing and manipulation, feature and object detection, and image restoration to build real-life computer vision applicationsKey FeaturesExplore the potential of computer vision with Raspberry Pi and Python programmingPerform computer vision tasks such as image processing and manipulation using OpenCV and Raspberry PiDiscover easy-to ... En savoir plus

$33.99 CAD ou Gratuit avec Kobo Plus

Perform a wide variety of computer vision tasks such as image processing and manipulation, feature and object detection, and image restoration to build real-life computer vision applicationsKey FeaturesExplore the potential of computer vision with Raspberry Pi and Python programmingPerform computer vision tasks such as image processing and manipulation using OpenCV and Raspberry PiDiscover easy-to
... En savoir plus
Neuro Design

Neuromarketing Insights to Boost Engagement and Profitability

par Darren Bridger ...

COMMENDED: Business Book Awards 2018 - Thought Leader CategoryToday, businesses of all sizes generate a great deal of creative graphic media and content, including websites, presentations, videos and social media posts. Most big companies, including the likes of Procter & Gamble, Coca-Cola, Tesco and Google, now use neuroscience research and theories to optimize their digital content. Neuro Design ... En savoir plus

$43.99 CAD

COMMENDED: Business Book Awards 2018 - Thought Leader CategoryToday, businesses of all sizes generate a great deal of creative graphic media and content, including websites, presentations, videos and social media posts. Most big companies, including the likes of Procter & Gamble, Coca-Cola, Tesco and Google, now use neuroscience research and theories to optimize their digital content. Neuro Design
... En savoir plus
Teaching Learning Based Optimization Algorithm

And Its Engineering Applications

par R. Venkata Rao ...

Collections series Engineering (R0)
Describing a new optimization algorithm, the “Teaching-Learning-Based Optimization (TLBO),” in a clear and lucid style, this book maximizes reader insights into how the TLBO algorithm can be used to solve continuous and discrete optimization problems involving single or multiple objectives.As the algorithm operates on the principle of teaching and learning, where teachers influence the quality of ... En savoir plus

$179.99 CAD

Describing a new optimization algorithm, the “Teaching-Learning-Based Optimization (TLBO),” in a clear and lucid style, this book maximizes reader insights into how the TLBO algorithm can be used to solve continuous and discrete optimization problems involving single or multiple objectives.As the algorithm operates on the principle of teaching and learning, where teachers influence the quality of
... En savoir plus
Cybercrime and Digital Forensics

An Introduction

par Thomas J. Holt, Adam M Bossler, Kathryn C. Seigfried-Spellar ...

This book offers a comprehensive and integrative introduction to cybercrime. It provides an authoritative synthesis of the disparate literature on the various types of cybercrime, the global investigation and detection of cybercrime and the role of digital information, and the wider role of technology as a facilitator for social relationships between deviants and criminals. It includes coverage of ... En savoir plus

$81.99 CAD

This book offers a comprehensive and integrative introduction to cybercrime. It provides an authoritative synthesis of the disparate literature on the various types of cybercrime, the global investigation and detection of cybercrime and the role of digital information, and the wider role of technology as a facilitator for social relationships between deviants and criminals. It includes coverage of
... En savoir plus
Methoden des bestärkenden Lernens für die Produktionsablaufplanung

par Sebastian Lang ...

Collections series Life Science and Basic Disciplines (German Language)
In diesem Open-Access-Buch wird eine Methode zur Adaption, Integration und Anwendung von bestärkenden Lernverfahren (Reinforcement Learning) für die Produktionsablaufplanung beschrieben. Die Methode wird anhand von typischen Problemstellungen der Produktionsablaufplanung hergeleitet und evaluiert. Die Produktionsablaufplanung ist eine Kernaufgabe der Produktion und Logistik, bei welcher Aufträge ... En savoir plus

Gratuit

In diesem Open-Access-Buch wird eine Methode zur Adaption, Integration und Anwendung von bestärkenden Lernverfahren (Reinforcement Learning) für die Produktionsablaufplanung beschrieben. Die Methode wird anhand von typischen Problemstellungen der Produktionsablaufplanung hergeleitet und evaluiert. Die Produktionsablaufplanung ist eine Kernaufgabe der Produktion und Logistik, bei welcher Aufträge
... En savoir plus
A City Is Not a Computer

Other Urban Intelligences

par Shannon Mattern ...

Collections series Places Books
A bold reassessment of "smart cities" that reveals what is lost when we conceive of our urban spaces as computersComputational models of urbanism—smart cities that use data-driven planning and algorithmic administration—promise to deliver new urban efficiencies and conveniences. Yet these models limit our understanding of what we can know about a city. A City Is Not a Computer reveals how cities ... En savoir plus

$22.99 CAD

A bold reassessment of "smart cities" that reveals what is lost when we conceive of our urban spaces as computersComputational models of urbanism—smart cities that use data-driven planning and algorithmic administration—promise to deliver new urban efficiencies and conveniences. Yet these models limit our understanding of what we can know about a city. A City Is Not a Computer reveals how cities
... En savoir plus
Program Management

A Life Cycle Approach

Modifié par Ginger Levin ...

Collections series Best Practices in Portfolio, Program, and Project Management
Program management is a rapidly emerging offshoot of project management. So much so that AT&T, IBM, and other organizations, both large and small in all sectors, have initiated a push to certify program managers. And, although universities offer courses in program management, there are few books available to guide program managers through this ... En savoir plus

$265.99 CAD

Program management is a rapidly emerging offshoot of project management. So much so that AT&T, IBM, and other organizations, both large and small in all sectors, have initiated a push to certify program managers. And, although universities offer courses in program management, there are few books available to guide program managers through this
... En savoir plus
New Era for Robust Speech Recognition

Exploiting Deep Learning

Modifié par Marc Delcroix, Shinji Watanabe, John R. Hershey, Florian Metze ...

Collections series Computer Science (R0)
This book covers the state-of-the-art in deep neural-network-based methods for noise robustness in distant speech recognition applications. It provides insights and detailed descriptions of some of the new concepts and key technologies in the field, including novel architectures for speech enhancement, microphone arrays, robust features, acoustic model adaptation, training data augmentation, and ... En savoir plus

$205.99 CAD

This book covers the state-of-the-art in deep neural-network-based methods for noise robustness in distant speech recognition applications. It provides insights and detailed descriptions of some of the new concepts and key technologies in the field, including novel architectures for speech enhancement, microphone arrays, robust features, acoustic model adaptation, training data augmentation, and
... En savoir plus
Cybersecurity Leadership

Powering the Modern Organization

par Dr. Mansur Hasib ...

Widely acclaimed and cited by practitioners and scholars alike as the definitive book on cybersecurity leadership and governance appropriate for anyone within or outside the cybersecurity discipline. Explains cybersecurity, Chief Information Officer, Chief Information Security Officer roles, the role of ethical leadership and the need for perpetual innovation in the discipline. This book is listed ... En savoir plus

$8.99 CAD

Widely acclaimed and cited by practitioners and scholars alike as the definitive book on cybersecurity leadership and governance appropriate for anyone within or outside the cybersecurity discipline. Explains cybersecurity, Chief Information Officer, Chief Information Security Officer roles, the role of ethical leadership and the need for perpetual innovation in the discipline. This book is listed
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Informatique avancée

Afficher :