English
Related papers

Related papers: The polymake XML file format

200 papers

The international standard CityGML is both a data model and an exchange format to store digital 3D models of cities. While the data model is used by several cities, companies, and governments, in this paper we argue that its XML-based…

Databases · Computer Science 2020-01-27 Hugo Ledoux , Ken Arroyo Ohori , Kavisha Kumar , Balázs Dukai , Anna Labetski , Stelios Vitalis

This paper lays the foundations for a unified framework for numerically and computationally applying methods drawn from a range of currently distinct geometrical approaches to statistical modelling. In so doing, it extends information…

Statistics Theory · Mathematics 2012-09-11 Karim Anaya-Izquierdo , Frank Critchley , Paul Marriott , Paul W. Vos

XNMR is a system designed to explore the results of combining the well-founded semantics system XSB with the stable-models evaluator SMODELS. Its main goal is to work as a tool for fast and interactive exploration of knowledge bases.

Logic in Computer Science · Computer Science 2007-05-23 L. Castro , D. Warren

CERN's (European Organization for Nuclear Research) WISDOM project uses XML for the replication of data between different data repositories in a heterogeneous operating system environment. For exchanging data from Web-resident databases,…

Databases · Computer Science 2009-09-29 Uzair Ahmad , Mohammad Waseem Hassan , Arshad Ali , Richard McClatchey , Ian Willers

This text is an introduction to algebraic enumerative geometry and to applications of tropical geometry to classical geometry, based on a course given during the X-UPS mathematical days, 2008 May 14th and 15th. The aim of this text is to be…

Algebraic Geometry · Mathematics 2019-06-24 Erwan Brugallé

The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…

q-alg · Mathematics 2009-10-30 Jonathan Gratus

In this paper, we introduce a scientific format for text-based data files, which facilitates storing and communicating tabular data sets. The so-called Full-Metadata Format builds on the widely used INI-standard and is based on four…

Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of B\'ezout. This was…

Algebraic Geometry · Mathematics 2024-03-08 Daniel J. Bates , Paul Breiding , Tianran Chen , Jonathan D. Hauenstein , Anton Leykin , Frank Sottile

We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given…

Logic in Computer Science · Computer Science 2007-05-23 Jan Van den Bussche , Emmanuel Waller

This is an expository article on recent developments in the theory of group relaxations in integer programming from an algebraic perspective.

Optimization and Control · Mathematics 2007-05-23 Rekha R. Thomas

Engram conditional memory has emerged as a promising component for LLMs by decoupling static knowledge lookup from dynamic computation. Since Engram exhibits sparse access patterns and supports prefetching, its massive embedding tables are…

Hardware Architecture · Computer Science 2026-03-12 Ruiyang Ma , Teng Ma , Zhiyuan Su , Hantian Zha , Xinpeng Zhao , Xuchun Shang , Xingrui Yi , Zheng Liu , Zhu Cao , An Wu , Zhichong Dou , Ziqian Liu , Daikang Kuang , Guojie Luo

In this paper, we present a method and a tool for deriving a skeleton of an ontology from XML schema files. We first recall what an is ontology and its relationships with XML schemas. Next, we focus on ontology building methodology and…

Programming Languages · Computer Science 2010-01-28 Ivan Bedini , Georges Gardarin , Benjamin Nguyen

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Optimization and Control · Mathematics 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

A statistical model is a mathematical representation of an often simplified or idealised data-generating process. In this paper, we focus on a particular type of statistical model, called linear mixed models (LMMs), that is widely used in…

Methodology · Statistics 2020-01-23 Emi Tanaka , Francis K. C. Hui

We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational database systems. Based on universal constructions of modules we…

Programming Languages · Computer Science 2022-07-05 Fritz Henglein , Robin Kaarsgaard , Mikkel Kragh Mathiesen

The processing of XML documents often includes creation and validation. These two operations are typically performed in two different nodes within a computer network that do not correlate with each other. The process of creation is also…

Logic in Computer Science · Computer Science 2019-06-21 René Haberland

A short survey on applications of algebraic geometry in topological data analysis.

Algebraic Geometry · Mathematics 2020-01-08 Paul Breiding

Polysomnography (PSG) data is recorded and stored in various formats depending on the recording software. Although the PSG data can usually be exported to open formats, such as the European Data Format (EDF), they are limited in data types,…

Databases · Computer Science 2024-02-13 Riku Huttunen , Matias Rusanen , Sami Nikkonen , Henri Korkalainen , Samu Kainulainen

The eXtensible Markup Language (XML) can be used as data exchange format in different domains. It allows different parties to exchange data by providing common understanding of the basic concepts in the domain. XML covers the syntactic…

Digital Libraries · Computer Science 2012-06-05 Nora Yahia , Sahar A. Mokhtar , AbdelWahab Ahmed

Nonlinear mixed effects modeling is a powerful tool when analyzing data from several entities in an experiment. In this paper, we present NLMEModeling, a package for mixed effects modeling in Wolfram Mathematica. NLMEModeling supports mixed…

Computation · Statistics 2020-11-16 Jacob Leander , Joachim Almquist , Anna Johnning , Julia Larsson , Mats Jirstrand