Atnaujinkite slapukų nuostatas

El. knyga: Theoretical Computer Science: 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Edited by , Edited by , Edited by
Kitos knygos pagal šią temą:
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

This book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.

The 16 full papers  included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.
Computational Theory and Model.- Nonmonotone submodular maximization
under routing constraints.- A formal approach for traceability preservation
in software development process.- Generalized Properties of Generalized Fuzzy
sets GFScom and Its Application.- A Novel Method for Signal Sequence
Classification based on Markov Reward Models.- Approximation Algorithms.- An
Optimal Algorithm based on Fairness of Resource Allocation in Wireless Mesh
Networks.- An Approximation Algorithm for Stochastic Power Cover
Problem.- -Approximate Bisimulations for Nondeterministic Fuzzy Kripke
structures.- Scheduling with hierarchies and overload cost.- Artificial
Intelligence.- Region-SMOTE: A New Over-Sampling Method in Imbalanced Data
Sets Learn-ing.- Intelligent Decision Making for Tanker Air Control Conflict
Deployment.- Efficient Recommendation Algorithm for Employment of College
Students for Various Majors.- Coordinated Reconstruction Dual-Branch Network
for Low-dose PET Reconstruction.- Network and Security.- Link prediction in
dynamic networks based on topological and historical information.- Link
prediction in multiplex network based on regression and conditional
probability.- A Zero Trust Model for Networked Self-Service
Terminals.- Modeling and Verification of WPA3 Security Protocol Based on SPIN.