Search Results - CCS Concepts: • Theory of computation→Data structures design and analysis

Recognizing heterogeneous sequences by rational type expression

Authors: Newton, Jim Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) et al.

Contributors: Newton, Jim Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) et al.

Source: the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection ; https://hal.archives-ouvertes.fr/hal-01880226 ; the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, Nov 2018, Boston, United States. ⟨10.1145/3281074.3281077⟩

Subject Terms: CCS Concepts: • Theory of computation→Data structures design and analysis, Type theory, • Computing methodologies →Representation of Boolean functions, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Boston, United States

Time: Boston, United States

Relation: hal-01880226; https://hal.archives-ouvertes.fr/hal-01880226; https://hal.archives-ouvertes.fr/hal-01880226/document; https://hal.archives-ouvertes.fr/hal-01880226/file/newton.18.meta.pdf

Availability: https://hal.archives-ouvertes.fr/hal-01880226
https://hal.archives-ouvertes.fr/hal-01880226/document
https://hal.archives-ouvertes.fr/hal-01880226/file/newton.18.meta.pdf
https://doi.org/10.1145/3281074.3281077

Nested Dissection Meets IPMs: Planar Min-Cost Flow in Nearly-Linear Time.

Authors: Dong, Sally Gao, Yu Goranci, Gramoz et al.

Source: Journal of the ACM; Aug2025, Vol. 72 Issue 4, p1-75, 75p

Subject Terms: PLANAR graphs, INTERIOR-point methods, SPARSE graphs, ALGORITHMS, DATA structures, FLUID flow, TIME complexity

Tight Bounds for Monotone Minimal Perfect Hashing.

Authors: Assadi, Sepehr Farach-Colton, Martín Kuszmaul, William

Source: ACM Transactions on Algorithms; Oct2025, Vol. 21 Issue 4, p1-23, 23p

Subject Terms: THEORY-practice relationship, ENCODING, INDEXING

Demystifying Graph Databases: Analysis and Taxonomy of Data Organization, System Designs, and Graph Queries.

Authors: BESTA, MACIEJ GERSTENBERGER, ROBERT PETER, EMANUEL et al.

Source: ACM Computing Surveys; Feb2024, Vol. 56 Issue 2, p1-40, 40p

Subject Terms: SYSTEMS design, RDF (Document markup language), DATABASES, DATA structures, OBJECT-oriented databases, DATA analysis

Computing MEMs and Relatives on Repetitive Text Collections.

Authors: Navarro, Gonzalo

Source: ACM Transactions on Algorithms; Jan2025, Vol. 21 Issue 1, p1-33, 33p

Subject Terms: CODING theory, DATA structures, INFORMATION theory, DATA warehousing, COMPRESSIBILITY

Generic Non-recursive Suffix Array Construction.

Authors: Olbrich, Jannik Ohlebusch, Enno Büchler, Thomas

Source: ACM Transactions on Algorithms; Apr2024, Vol. 20 Issue 2, p1-42, 42p

Subject Terms: SUFFIXES & prefixes (Grammar), SEQUENCE analysis, TEST design, DATA structures

Fully Dynamic Clustering and Diversity Maximization in Doubling Metrics.

Authors: Pellizzoni, Paolo Pietracaprina, Andrea Pucci, Geppino

Source: ACM Transactions on Knowledge Discovery from Data; May2025, Vol. 19 Issue 4, p1-45, 45p

Subject Terms: DATA structures, APPROXIMATION algorithms, POLYNOMIAL time algorithms, METRIC spaces, POLYNOMIAL approximation

Smart Grid Systems: Addressing Privacy Threats, Security Vulnerabilities, and Demand–Supply Balance (A Review).

Authors: Nazir, Iqra Mushtaq, Nermish Amin, Waqas

Source: Energies (19961073); Oct2025, Vol. 18 Issue 19, p5076, 77p

Subject Terms: DATA privacy, COMPUTER security vulnerabilities, ENERGY storage, DATA protection, INTERNET security, SMART power grids, CRYPTOGRAPHY, SUPPLY & demand

Distributed satellite information networks: architecture, enabling technologies, and trends.

Authors: Zhang, Qinyu Xu, Liang Huang, Jianhao et al.

Source: SCIENCE CHINA Information Sciences; Sep2025, Vol. 68 Issue 9, p1-73, 73p

Empowering machine learning for robust cyber-attack prevention in online retail: an integrative analysis.

Authors: Razzaq, Kamran Shah, Mahmood Fattahi, Mohammad et al.

Source: Humanities & Social Sciences Communications; 5/29/2025, Vol. 12 Issue 1, p1-15, 15p

Subject Terms: ELECTRONIC commerce, MACHINE learning, SUPPORT vector machines, ARTIFICIAL intelligence, INTERNET stores

Almost Optimal Exact Distance Oracles for Planar Graphs.

Authors: CHARALAMPOPOULOS, PANAGIOTIS GAWRYCHOWSKI, PAWEŁ YAOWEI LONG et al.

Source: Journal of the ACM; Apr2023, Vol. 70 Issue 2, p1-50, 50p

Subject Terms: VORONOI polygons, DATA structures, SPACETIME, PLANAR graphs

9Ring: A 3D-Stacked Memory-Based Accelerator for Flexible and Efficient Deep CNN Applications.

Authors: CHENG, WEN CHENG, QIANYA LIU, YI et al.

Source: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-26, 26p

Strict Fibonacci Heaps.

Authors: Brodal, Gerth Stølting Lagogiannis, George Tarjan, Robert E.

Source: ACM Transactions on Algorithms; Apr2025, Vol. 21 Issue 2, p1-18, 18p

Subject Terms: TIME

Empowering Edge Intelligence: A Comprehensive Survey on On-Device AI Models.

Authors: Wang, Xubin Tang, Zhiqing Guo, Jianxiong et al.

Source: ACM Computing Surveys; Sep2025, Vol. 57 Issue 9, p1-39, 39p

Subject Terms: ARTIFICIAL neural networks, DISTRIBUTED artificial intelligence, ARTIFICIAL intelligence, DEEP learning, REAL-time computing, REINFORCEMENT learning

Entropy‐driven Progressive Compression of 3D Point Clouds.

Authors: Zampieri, A. Delarue, G. Bakr, N. Abou et al.

Source: Computer Graphics Forum; Aug2024, Vol. 43 Issue 5, p1-16, 16p

Subject Terms: DATA compression, POINT cloud, CODING theory, BANDWIDTHS, ENTROPY

The Design of Fast Delta Encoding for Delta Compression Based Storage Systems.

Authors: Tan, Haoliang Xia, Wen Zou, Xiangyu et al.

Source: ACM Transactions on Storage; Nov2024, Vol. 20 Issue 4, p1-30, 30p

Subject Terms: DATA reduction, CONSTRUCTION cost estimates, ENCODING, SYNCHRONIZATION, SPEED

Analysis of schema structures in the Linked Open Data graph based on unique subject URIs, pay-level domains, and vocabulary usage.

Authors: Gottron, Thomas Knauf, Malte Scherp, Ansgar

Source: Distributed & Parallel Databases; Aug2015, Vol. 33 Issue 4, p515-553, 39p

Subject Terms: LINKED data (Semantic Web), DATA structures, ACQUISITION of data, GRAPH theory, VOCABULARY

A Consortium Blockchain-Based Edge Task Offloading Method for Connected Autonomous Vehicles.

Authors: Liu, Bowen Tian, Hao Shen, Zhijie et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; Sep2025, Vol. 20 Issue 3, p1-27, 27p

Subject Terms: DATA privacy, BLOCKCHAINS, DATA protection, EDGE computing, ENERGY industries

Generic Techniques for Building Top-k Structures.

Authors: RAHUL, SALADI YUFEI TAO

Source: ACM Transactions on Algorithms; Nov2022, Vol. 18 Issue 4, p1-23, 23p

Subject Terms: DATA structures, LIFTING & carrying (Human mechanics), STABBINGS (Crime)

Are Lock-Free Concurrent Algorithms Practically Wait-Free?

Authors: ALISTARH, DAN CENSOR-HILLEL, KEREN SHAVIT, NIR

Source: Journal of the ACM; Sep2016, Vol. 63 Issue 4, p31-31:20, 20p

Subject Terms: FOUNDATIONS of arithmetic, MATHEMATICAL programming, ALGORITHMIC randomness, MACHINE theory, RECURSIVE functions