Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “claudio gentile”
Skip side bar filters

  • Artificial Intelligence and Image Analysis

    18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8–10, 2024, Revised Selected Papers

    Edición de Reneta P. Barneva, Valentin E. Brimkov, Claudio Gentile, Aldo Pacchiano ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed joint proceedings of the 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and the 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, held in Fort Lauderdale, FL, USA, during January 8–10, 2024.The 14 full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics ... Leer más

    $67.99 USD

  • Graphs and Combinatorial Optimization: from Theory to Applications

    CTW2020 Proceedings

    Edición de Claudio Gentile, Giuseppe Stecca, Paolo Ventura ...
    Series series Mathematics and Statistics (R0)
    This book highlights new and original contributions on Graph Theory and Combinatorial Optimization both from the theoretical point of view and from applications in all fields. The book chapters describe models and methods based on graphs, structural properties, discrete optimization, network optimization, mixed-integer programming, heuristics, meta-heuristics, math-heuristics, and exactmethods as ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Deep Neural Networks and Data for Automated Driving

    Robustness, Uncertainty Quantification, and Insights Towards Safety

    Edición de Tim Fingscheidt, Hanno Gottschalk, Sebastian Houben ...
    Series series Engineering (R0)
    This open access book brings together the latest developments from industry and research on automated driving and artificial intelligence.Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and ... Leer más

    Gratis

  • Art of Computer Programming, The

    Sorting and Searching, Volume 3

    de Donald Knuth ...
    The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.–Byte, September 1995I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line ... Leer más

    $68.39 USD

  • Graph Structures for Knowledge Representation and Reasoning

    6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    Edición de Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.The 7 revised full papers presented together with 2 invited contributions were reviewed ... Leer más

    Gratis

  • Handbook of Discrete and Combinatorial Mathematics

    Edición de Kenneth H. Rosen ...
    Series series Discrete Mathematics and Its Applications
    Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians.The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of ... Leer más

    $375.99 USD

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Edición de Hana Chockler, Georg Weissenbacher ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Leer más

    Gratis

  • Algorithms for Sparse Linear Systems

    de Jennifer Scott, Miroslav Tůma ...
    Series series Mathematics and Statistics (R0)
    Large sparse linear systems of equations are ubiquitous in science, engineering and beyond. This open access monograph focuses on factorization algorithms for solving such systems. It presents classical techniques for complete factorizations that are used in sparse direct methods and discusses the computation of approximate direct and inverse factorizations that are key to constructing general ... Leer más

    Gratis

  • Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

    Edición de André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Leer más

    Gratis

  • Planning Algorithms

    de Steven M. LaValle ...
    Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer graphics, aerospace applications, drug design, and protein folding. This coherent and comprehensive book unifies material from several sources, including robotics, control theory, artificial intelligence, and algorithms. The treatment is ... Leer más

    $113.99 USD

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Combinatorial Optimization

    Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers

    Edición de Pierre Fouilhoux, Luis Eduardo Neves Gouveia, A. Ridha Mahjoub, Vangelis T. Paschos ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014. The 37 revised full papers presented together with 64 short papers were carefully reviewed and selected from 97 submissions. They present original research on all aspects of combinatorial optimization, such ... Leer más

    $49.49 USD