Theory and Applications of Models of Computation

Theory and Applications of Models of Computation

18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Li, Bo; Chen, Xujin

Springer Verlag, Singapore

05/2024

368

Mole

9789819723393

15 a 20 dias

Descrição não disponível.
.- On Learning Families of Ideals in Lattices and Boolean Algebras.

.- Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters

.- A Gray Code of Ordered Trees

.- Mechanism Design with Predictions for Facility Location Games with Candidate Locations

.- An Improved Approximation Algorithm for Metric Triangle Packing

.- An Optimal and Practical Algorithm for the Planar 2-Center Problem

.- Endogenous Threshold Selection with Two-Interval Restricted Tests

.- An Improved Kernel and Parameterized Algorithm for Almost Induced Matching

.- A Tight Threshold Bound for Search Trees with 2-Way Comparisons

.- Kleene Theorems for Lasso and ?-Languages

.- Tight Double Exponential Lower Bounds

.- Source-Oblivious Broadcast

.- On the 3-Tree Core of Plane Graphs

.- A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation

.- A Local Search Algorithm for Radius-Constrained $k$-Median

.- Energy and Output Patterns in Boolean Circuits

.- Approximation Algorithms for Robust Clustering Problems Using Local Search Techniques

.- On the Power of Counting the Total Number of Computation Paths of NPTMs

.- The Parameterized Complexity of Maximum Betweenness Centrality

.- Offensive Alliances in Signed Graphs

.- Quantum Path Parallelism: A Circuit-Based Approach to Text Searching

.- Space-Efficient Graph Kernelizations

.- Counting on Rainbow $k$-Connections

.- Some Combinatorial Algorithms on the Edge Cover Number of $k$-Regular Connected Hypergraphs

.- Time Efficient Implementation for Online $k$-Server Problem on Trees

.- Improved Approximation Algorithm for the Distributed Lower-Bounded k-Center Problem

.- Parameterized Complexity of Weighted Target Set Selection

.- Mechanism Design for Building Optimal Bridges between Regions

.- Joint Bidding in Ad Auctions

.- Lower Bounds for the Sum of Small-Size Algebraic Branching Programs.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Computer Science;adaptive algorithms;approximation algorithms;approximation theory;artificial intelligence;computer networks;Computability;Complexity;Agorithms;Information theory;Machine learning theory;Quantum computing