All Outputs (63)

Densely Knowledge-Aware Network for Multivariate Time Series Classification (2024)
Journal Article
Xiao, Z., Xing, H., Qu, R., Feng, L., Luo, S., Dai, P., …Dai, Y. (2024). Densely Knowledge-Aware Network for Multivariate Time Series Classification. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54(4), 2192-2204. https://doi.org/10.1109/tsmc.2023.3342640

Multivariate time series classification (MTSC) based on deep learning (DL) has attracted increasingly more research attention. The performance of a DL-based MTSC algorithm is heavily dependent on the quality of the learned representations providing s... Read More about Densely Knowledge-Aware Network for Multivariate Time Series Classification.

Internal Parametricity, without an Interval (2024)
Journal Article
Altenkirch, T., Chamoun, Y., Kaposi, A., & Shulman, M. (2024). Internal Parametricity, without an Interval. Proceedings of the ACM on Programming Languages, 8(POPL), 2340-2369. https://doi.org/10.1145/3632920

Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally. Internalising it... Read More about Internal Parametricity, without an Interval.

Quotient Haskell: Lightweight Quotient Types for All (2024)
Journal Article
Hewer, B., & Hutton, G. (2024). Quotient Haskell: Lightweight Quotient Types for All. Proceedings of the ACM on Programming Languages, 8(POPL), 785-815. https://doi.org/10.1145/3632869

Subtypes and quotient types are dual type abstractions. However, while subtypes are widely used both explicitly and implicitly, quotient types have not seen much practical use outside of proof assistants. A key difficulty to wider adoption of quotie... Read More about Quotient Haskell: Lightweight Quotient Types for All.