中文
相关论文

相关论文: Functorial Data Migration: From Theory to Practice

200 篇论文

We study the data transformation capabilities associated with schemas that are presented by directed multi-graphs and path equations. Unlike most approaches which treat graph-based schemas as abbreviations for relational schemas, we treat…

数据库 · 计算机科学 2015-07-28 David I. Spivak , Ryan Wisnesky

This paper introduces a novel approach to ontology-based robot plan transfer by leveraging functorial data migrations, a structured mapping method derived from category theory. Functors provide structured maps between planning domain…

机器人学 · 计算机科学 2025-04-15 Angeline Aguinaldo , Evan Patterson , William Regli

In this paper we present a simple database definition language: that of categories and functors. A database schema is a small category and an instance is a set-valued functor on it. We show that morphisms of schemas induce three "data…

数据库 · 计算机科学 2013-02-05 David I. Spivak

Data integration and migration processes in polystores and multi-model database management systems highly benefit from data and schema transformations. Rigorous modeling of transformations is a complex problem. The data and schema…

数据库 · 计算机科学 2022-01-14 Valter Uotila , Jiaheng Lu

We introduce functorial language models: a principled way to compute probability distributions over word sequences given a monoidal functor from grammar to meaning. This yields a method for training categorical compositional distributional…

计算与语言 · 计算机科学 2021-03-29 Alexis Toumi , Alex Koziell-Pipe

Stock and flow diagrams are already an important tool in epidemiology, but category theory lets us go further and treat these diagrams as mathematical entities in their own right. In this chapter we use communicable disease models created…

计算机科学中的逻辑 · 计算机科学 2024-12-12 John C. Baez , Xiaoyan Li , Sophie Libkind , Nathaniel D. Osgood , Eric Redekopp

Categorical Query Language is an open-source query and data integration scripting language that can be applied to common challenges in the field of computational science. We discuss how the structure-preserving nature of CQL data migrations…

数据库 · 计算机科学 2019-03-27 Kristopher Brown , David I. Spivak , Ryan Wisnesky

Managing stock efficiently remains a core issue in modern logistics, where companies must reconcile cost efficiency with dependable service despite unpredictable market conditions. Conventional models often overlook the direct connection…

最优化与控制 · 数学 2026-04-14 Tianxiao Sun , Noah Schwarzkopf

Market simulator tries to create high-quality synthetic financial data that mimics real-world market dynamics, which is crucial for model development and robust assessment. Despite continuous advancements in simulation methodologies, market…

计算工程、金融与科学 · 计算机科学 2025-03-25 Bokai Cao , Xueyuan Lin , Yiyan Qi , Chengjin Xu , Cehao Yang , Jian Guo

In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, database schemas and instances are algebraic (multi-sorted…

数据库 · 计算机科学 2025-03-31 Patrick Schultz , Ryan Wisnesky

Relational and noSQL storages are developed for the fast processing of the large data sets having a stable structure, while the ontologies are used to rep-resent complex and dynamic sets of information of a limited size. In the in-dustrial…

数据库 · 计算机科学 2021-03-10 Sergey Gorshkov , Alexander Grebeshkov , Roman Shebalov

The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi-structured data, and unstructured data. Prior research has…

数据库 · 计算机科学 2021-09-03 Valter Uotila , Jiaheng Lu , Dieter Gawlick , Zhen Hua Liu , Souripriya Das , Gregory Pogossiants

Simulations offer opportunities in the examination of manufacturing processes. They represent various aspects of the production process and the associated production systems. However, often a single simulation does not suffice to provide a…

软件工程 · 计算机科学 2024-11-26 Jonathan Reif , Tom Jeleniewski , Aljosha Köcher , Tim Frerich , Felix Gehlhoff , Alexander Fay

Feature model are widely used to capture commonalities and variabilities of artefacts in Software Product Line (SPL). Several studies have discussed the formal representation of feature diagram using ontologies with different styles of…

软件工程 · 计算机科学 2017-07-11 Iis Afriyanti , Faiq Miftakhul Falakh , Ade Azurat , Bravyto Takwa

Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of…

计算与语言 · 计算机科学 2017-09-04 Guy Emerson , Ann Copestake

This paper summarises a successful application of functional programming within a commercial environment. We report on experience at Accenture's Financial Services Solution Centre in London with simulating an object-oriented financial…

计算工程、金融与科学 · 计算机科学 2020-12-03 Lee Braine , Keith Haviland , Owen Smith-Jaynes , Andy Vautier , Chris Clack

The trajectory patterns of a moving object in a spatio-temporal domain offers varied information in terms of the management of the data generated from the movement. A trajectory data warehouse is a data repository for the data and…

数据库 · 计算机科学 2019-04-16 Michael Mireku Kwakye

The increasing importance of resource-efficient production entails that manufacturing companies have to create a more dynamic production environment, with flexible manufacturing machines and processes. To fully utilize this potential of…

人工智能 · 计算机科学 2021-11-29 Anna Himmelhuber , Stephan Grimm , Thomas Runkler , Sonja Zillner

This thesis develops the translation between category theory and computational linguistics as a foundation for natural language processing. The three chapters deal with syntax, semantics and pragmatics. First, string diagrams provide a…

计算与语言 · 计算机科学 2022-12-14 Giovanni de Felice

Functional Distributional Semantics is a recently proposed framework for learning distributional semantics that provides linguistic interpretability. It models the meaning of a word as a binary classifier rather than a numerical vector. In…

计算与语言 · 计算机科学 2022-04-25 Yinhong Liu , Guy Emerson
‹ 上一页 1 2 3 10 下一页 ›