KI-Beratung Beta

Produktbild: Theoretical Computer Science
Band 2710 - 11%

Theoretical Computer Science 43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3–5, 2025, Revised Selected Papers

11% sparen

65,99 € UVP 74,89 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 2025.

The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 83 submissions. They were...

Beschreibung

This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 2025.



The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: Algorithm Design; Logic; Artificial Intelligence Theory and Algorithm; and Algorithm Application.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2025

Abbildungen

XII, 217 p. 71 illus., 55 illus. in color.

Herausgeber Minming Li + weitere

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2025

Abbildungen

XII, 217 p. 71 illus., 55 illus. in color.

Herausgeber
Verlag Springer Singapore
Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

359 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9536-42-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Theoretical Computer Science

  • .-
    Algorithm Design
    .



    .- Improved Approximation Algorithms for the Multiple Two-stage Knapsack problem.



    .- Semi-online scheduling problem of two identical machines with delayed discount.



    .-
    Logic
    .



    .- Sequential Equivalence Checking for specialized IR via Instrumentation-Based Symbolic Execution.



    .- Self-Learning Modeling of Generalized Possibilistic Decision Processes.



    .-
    Artificial Intelligence Theory and Algorithm
    .



    .- DPhuman: Generalizable Neural Human Rendering via Point Registration-Based Human Deformation.



    .- PSVM-MR: A Parallel Support Vector Machine Algorithm Based on MapReduce.



    .-
    Algorithm Application
    .



    .- A novel homogenization-based method for population initialization of improved chaotic artificial bee colonies and convergence analysis.



    .- A truthful resource allocation and task offloading mechanism of Internet of Vehicles edge computing based on joint optimization.



    .- The State Transition Self-Learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure.



    .- Spiking Neural Network Based on Bidirectional Variational Anomaly Detection for Knowledge Tracing.