04480nam 22008415 450 991055184330332120230515182936.03-030-97099-X10.1007/978-3-030-97099-4(MiAaPQ)EBC6904287(Au-PeEL)EBL6904287(CKB)21348231700041(DE-He213)978-3-030-97099-4(PPN)261517996(EXLCZ)992134823170004120220302d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFrontiers of Algorithmics International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /edited by Jing Chen, Minming Li, Guochuan Zhang1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (102 pages)Theoretical Computer Science and General Issues,2512-2029 ;12874Print version: Chen, Jing Frontiers of Algorithmics Cham : Springer International Publishing AG,c2022 9783030970987 Includes bibliographical references and index.Insights from the Conscious Turing Machine (CTM) -- Speculative Smart Contracts -- Optimization from Structured Samples—An Effective Approach for Data-Driven Optimization -- Recent Developments in Property Testing of Boolean Functions -- AC0 Circuits, First-Order Logic, and Well-Structured graphs -- Model-Based Digital Engineering and Verification of Intelligent Systems -- Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions -- Fast Sampling Constraint Satisfaction Solutions via the Lovász Local Lemma -- Pool Block Withholding Attack with Rational Miners -- Approximation Algorithms for the Directed Path Partition Problems -- Faster Algorithms for k-Subset Sum and variations -- Hardness and Algorithms for Electoral Manipulation under Media Influence -- Improved Approximation Algorithms for Multiprocessor Scheduling with Testing.This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in Beijing, China, in August 2021. The conference IJTCS-FAW 2021 was held in hybrid mode due to the COVID-19 pandemic. The 5 full papers presented in this volume were carefully reviewed and selected from 9 submissions. The joint conference provides a focused forum on Algorithmic Game Theory, Blockchain, Multi-agent Reinforcement Learning, Quantum Computation, Theory of Machine Learning, Machine Learning, Formal Method, Algorithm and Complexity, and EconCS.Theoretical Computer Science and General Issues,2512-2029 ;12874Computer scienceMathematicsDiscrete mathematicsNumerical analysisData structures (Computer science)Information theoryComputer engineeringComputer networksSoftware engineeringAlgorithmsDiscrete Mathematics in Computer ScienceNumerical AnalysisData Structures and Information TheoryComputer Engineering and NetworksSoftware EngineeringDesign and Analysis of AlgorithmsComputer scienceMathematics.Discrete mathematics.Numerical analysis.Data structures (Computer science).Information theory.Computer engineering.Computer networks.Software engineering.Algorithms.Discrete Mathematics in Computer Science.Numerical Analysis.Data Structures and Information Theory.Computer Engineering and Networks.Software Engineering.Design and Analysis of Algorithms.005.1004Chen JingLi MinmingZhang GuochuanMiAaPQMiAaPQMiAaPQBOOK9910551843303321Frontiers of algorithmics2922829UNINA