Classification Functions for Machine Learning and Data Mining

Tsutomu Sasao

Synthesis Collection of Technology (R0)

Comprar el eBook

Ahorra 10 %Precio de venta: $68.665 CLP.$61.799CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783031353475
Fecha de lanzamiento:14 jul 2023
Editorial:Springer Nature Switzerland

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:5.20 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Security Infrastructure Technology for Integrated Utilization of Big Data

Atsuko Miyaji, Tomoaki Mimoto

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Graphical Models with R

Steffen Lauritzen, David Edwards, Søren Højsgaard

$89.895

Data Analysis For Network Cyber-security

Niall M Adams, Nicholas A Heard

$38.583

Machine Learning in Social Networks

Manasvi Aggarwal, M.N. Murty

$73.037

Encyclopedia of Computer Science and Technology

Allen Kent, James G. Williams

$62.153

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

$101.133

Handbook of Robust Low-Rank and Sparse Matrix Decomposition

Thierry Bouwmans, Necdet Serhat Aybat, El-hadi Zahzah

$71.799

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Deep Learning for Computational Problems in Hardware Security

Pranesh Santikellur, Rajat Subhra Chakraborty

$101.133

Classical and Physical Security of Symmetric Key Cryptographic Algorithms

Anubhab Baksi

$157.324

Partitional Clustering Algorithms

M. Emre Celebi

$101.133

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Progress in Cryptology – INDOCRYPT 2017

Arpita Patra, Nigel P. Smart

$56.180

Type-2 Fuzzy Graphical Models for Pattern Recognition

Jia Zeng, Zhi-Qiang Liu

$56.180

Selected Areas in Cryptography – SAC 2016

Howard Heys, Roberto Avanzi

$56.180

Spatial Network Big Databases

KwangSoo Yang, Shashi Shekhar

$112.372

Compression Schemes for Mining Large Datasets

T. Ravindra Babu, M. Narasimha Murty, S.V. Subrahmanya

$56.180

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

$56.180

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

$84.276

Advances in Information and Computer Security

Chen-Mou Cheng, Mitsuaki Akiyama

$78.657

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

$56.180

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Spatio-Temporal Graph Data Analytics

Venkata M. V. Gunturi, Shashi Shekhar

$123.609

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Fast Software Encryption

Thomas Peyrin

$95.514

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications

Muhammad Summair Raza, Usman Qamar

$112.372

Lightweight Cryptography for Security and Privacy

Andrey Bogdanov

$56.180

Data Clustering

Charu C. Aggarwal, Chandan K. Reddy

$201.485

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

$56.180

Code-Based Cryptography

Jean-Christophe Deneuville

$61.799

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Static Analysis

Xavier Rival

$56.180

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Semi-Supervised and Unsupervised Machine Learning

Amparo Albalate, Wolfgang Minker

$137.321

Progress in Cryptology - AFRICACRYPT 2022

Lejla Batina, Joan Daemen

$56.180

Querying Moving Objects Detected by Sensor Networks

Markus Bestehorn

$56.180

Graph-Based Clustering and Data Visualization Algorithms

Ágnes Vathy-Fogarassy, János Abonyi

$67.418

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$56.180

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Matheuristics

Vittorio Maniezzo, Marco Antonio Boschetti, Thomas Stützle

$95.514

Circuits and Systems for Security and Privacy

Farhana Sheikh, Leonel Sousa

$115.742

Code-Based Cryptography

Antonia Wachter-Zeh, Hannes Bartz, Gianluigi Liva

$61.799

Fundamentals of Software Engineering

Mehdi Dastani, Marjan Sirjani

$56.180

Textbook of Machine Learning and Data Mining

Hiroshi Mamitsuka

$96.451

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Innovative Security Solutions for Information Technology and Communications

Mihai Doinea, Helge Janicke, Giampaolo Bella

$84.276

Performance Engineering and Stochastic Modeling

Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens

$82.028

Verification and Evaluation of Computer and Communication Systems

Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar

$56.180

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov, David Parker

$61.799

Advanced Boolean Techniques

Rolf Drechsler, Sebastian Huhn

$123.609

Principles of Security and Trust

Matteo Maffei, Mark Ryan

$56.180

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Lightweight Cryptography for Security and Privacy

Thomas Eisenbarth, Erdinç Öztürk

$44.943

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

$56.180

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

Information Theoretic Security

Junji Shikata

$56.180

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Andre A. Cire

$101.133

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Algorithm Engineering

Lasse Kliemann, Peter Sanders

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

$56.180

Algorithmic Aspects of Cloud Computing

Dan Alistarh, Alex Delis, George Pallis

$44.943

Static Analysis

Francesco Ranzato

$56.180

Integration of AI and OR Techniques in Constraint Programming

Claude-Guy Quimper

$56.180

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$101.133

Fast Software Encryption

Gregor Leander

$56.180

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

$123.609

Selected Areas in Cryptography

Riham AlTawy, Andreas Hülsing

$89.895

Transactions on Computational Science XXXI

Marina L. Gavrilova, C.J. Kenneth Tan, Nabendu Chaki, Khalid Saeed

$56.180

Foundations and Practice of Security

Gabriela Nicolescu, Assia Tria, José M. Fernandez, Jean-Yves Marion, Joaquin Garcia-Alfaro

$56.180

Model Checking Software

Alfons Laarman, Ana Sokolova

$56.180

Computational Intelligence, Cyber Security and Computational Models

Muthukrishnan Senthilkumar, Vijayalakshmi Ramasamy, Shina Sheen, C. Veeramani, Anthony Bonato, Lynn Batten

$268.595

Correct-by-Construction Approaches for SoC Design

Roopak Sinha, Parthasarathi Roop, Samik Basu

$101.133

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Fuzzy Intelligent Systems

E. Chandrasekaran, R. Anandan, G. Suseendran, S. Balamurugan, Hanaa Hachimi

$196.742

Dynamic Optimization of Path-Constrained Switched Systems

Jun Fu, Chi Zhang

$157.324

Selected Areas in Cryptography – SAC 2017

Carlisle Adams, Jan Camenisch

$56.180

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

$56.180

SSA-based Compiler Design

Fabrice Rastello, Florent Bouchez Tichadou

$95.514

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Turbo Message Passing Algorithms for Structured Signal Recovery

Xiaojun Yuan, Zhipeng Xue

$67.418

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$56.180

Ver más por autor

Memory-Based Logic Synthesis

Tsutomu Sasao

$101.133

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Classification Functions for Machine Learning and Data Mining

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Security Infrastructure Technology for Integrated Utilization of Big Data

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Graphical Models with R

Data Analysis For Network Cyber-security

Machine Learning in Social Networks

Encyclopedia of Computer Science and Technology

High-Level Verification

Handbook of Robust Low-Rank and Sparse Matrix Decomposition

Computer Aided Verification

Deep Learning for Computational Problems in Hardware Security

Classical and Physical Security of Symmetric Key Cryptographic Algorithms

Partitional Clustering Algorithms

Formal Techniques for Distributed Objects, Components, and Systems

Progress in Cryptology – INDOCRYPT 2017

Type-2 Fuzzy Graphical Models for Pattern Recognition

Selected Areas in Cryptography – SAC 2016

Spatial Network Big Databases

Compression Schemes for Mining Large Datasets

Progress in Cryptology -- INDOCRYPT 2015

Automated Technology for Verification and Analysis

Advances in Information and Computer Security

Progress in Cryptology – INDOCRYPT 2016

Formal Methods and Software Engineering

Spatio-Temporal Graph Data Analytics

Dependable Software Engineering: Theories, Tools, and Applications

Fast Software Encryption

Model Checking Software

Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications

Lightweight Cryptography for Security and Privacy

Data Clustering

Selected Areas in Cryptography - SAC 2015

Code-Based Cryptography

NASA Formal Methods

Static Analysis

Computer Aided Verification

Semi-Supervised and Unsupervised Machine Learning

Progress in Cryptology - AFRICACRYPT 2022

Querying Moving Objects Detected by Sensor Networks

Graph-Based Clustering and Data Visualization Algorithms

Formal Modeling and Analysis of Timed Systems

FM 2016: Formal Methods

Matheuristics

Circuits and Systems for Security and Privacy

Code-Based Cryptography

Fundamentals of Software Engineering

Textbook of Machine Learning and Data Mining

Advances in Cryptology – ASIACRYPT 2016

Innovative Security Solutions for Information Technology and Communications

Performance Engineering and Stochastic Modeling

Verification and Evaluation of Computer and Communication Systems

Formal Modeling and Analysis of Timed Systems

Advanced Boolean Techniques

Principles of Security and Trust

Formal Aspects of Component Software

Lightweight Cryptography for Security and Privacy

Selected Areas in Cryptography -- SAC 2013

Automated Technology for Verification and Analysis

Information Theoretic Security

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Automated Technology for Verification and Analysis

Theoretical Aspects of Software Engineering

Algorithm Engineering

Dependable Software Engineering. Theories, Tools, and Applications

Algorithmic Aspects of Cloud Computing

Static Analysis

Integration of AI and OR Techniques in Constraint Programming

Advances in Cryptology -- ASIACRYPT 2015