English
Related papers

Related papers: IVOA recommendation: Units in the VO

200 papers

In this letter, we describe and develop edge-based and node-based formulations for combined-cycle units (CCUs) with different levels of accuracy in respecting physical restrictions of each turbine, from no restriction requirement of each…

Optimization and Control · Mathematics 2018-08-06 Yongpei Guan , Lei Fan , Yanan Yu

This document describes the linking of data discovery metadata to access to the data itself, further detailed metadata, related resources, and to services that perform operations on the data. The web service capability supports a drill-down…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Patrick Dowler , François Bonnarel , Laurent Michel , Markus Demleitner

VODataService refers to an XML encoding standard for a specialized extension of the IVOA Resource Metadata that is useful for describing data collections and the services that access them. It is defined as an extension of the core resource…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Raymond Plante , Aurélien Stébé , Kevin Benson , Patrick Dowler , Matthew Graham , Gretchen Greene , Paul Harrison , Gerard Lemson , Tony Linde , Guy Rixon

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.

Logic in Computer Science · Computer Science 2022-05-19 Sebastian Stock , Fabian Vu , David Geleßus , Atif Mashkoor , Michael Leuschel , Alexander Egyed

Identifiers (IDs) are pervasive throughout our modern life. We suggest that these IDs would be easier to manage and remember if they were easily readable, spellable, and pronounceable. As a solution to this problem we propose using…

Software Engineering · Computer Science 2009-10-12 Daniel Shawcross Wilkerson

The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT and OOSE and is intended as a standard in the domain of object oriented analysis and…

Software Engineering · Computer Science 2014-09-26 Ruth Breu , Ursula Hinkel , Christoph Hofmann , Cornel Klein , Barbara Paech , Bernhard Rumpe , V. Thurner

The distributed representations currently used are dense and uninterpretable, leading to interpretations that themselves are relative, overcomplete, and hard to interpret. We propose a method that transforms these word vectors into reduced…

Computation and Language · Computer Science 2024-11-14 Biraj Silwal

In this document and the accompanying documents we describe a data model (Simulation Data Model) describing numerical computer simulations of astrophysical systems. The primary goal of this standard is to support discovery of simulations by…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Gerard Lemson , Laurent Bourges , Miguel Cervino , Claudio Gheller , Norman Gray , Franck LePetit , Mireille Louys , Benjamin Ooghe , Rick Wagner , Herve Wozniak

A plethora of vector-space representations for words is currently available, which is growing. These consist of fixed-length vectors containing real values, which represent a word. The result is a representation upon which the power of many…

Computation and Language · Computer Science 2016-08-09 Leon Derczynski

This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…

Category Theory · Mathematics 2012-07-31 Peter Selinger

The Valida instruction set architecture is designed for implementation in zkVMs to optimize for fast, efficient execution proving. This specification intends to guide implementors of zkVMs and compiler toolchains for Valida. It provides an…

Cryptography and Security · Computer Science 2025-05-21 Morgan Thomas , Mamy Ratsimbazafy , Marcin Bugaj , Lewis Revill , Carlo Modica , Sebastian Schmidt , Ventali Tan , Daniel Lubarov , Max Gillett , Wei Dai

We are interested in regular expressions and transducers that represent word relations in an alphabet-invariant way---for example, the set of all word pairs u,v where v is a prefix of u independently of what the alphabet is. Current…

Formal Languages and Automata Theory · Computer Science 2018-05-07 Stavros Konstantinidis , Nelma Moreira , Rogerio Reis , Joshua Young

The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more. From the categorical…

Programming Languages · Computer Science 2018-03-05 Dan R Ghica , Aliaume Lopez

There are so many libraries of visualization components nowadays with their APIs often different from one another. Could these components be more similar, both in terms of the APIs and common functionalities? For someone who is developing a…

Human-Computer Interaction · Computer Science 2020-09-03 Krist Wongsuphasawat

This document discusses the definition of the Parameter Description Language (PDL). In this language parameters are described in a rigorous data model. With no loss of generality, we will represent this data model using XML. It intends to…

Instrumentation and Methods for Astrophysics · Physics 2019-06-05 Carlo Maria Zwolf , Paul Harrison , Julian Garrido , Jose Enrique Ruiz , Franck Le Petit

Legal interpretation is a linguistic venture. In judicial opinions, for example, courts are often asked to interpret the text of statutes and legislation. As time has shown, this is not always as easy as it sounds. Matters can hinge on…

Computation and Language · Computer Science 2021-08-20 Megan Ma , Bryan Wilson

The International System of Units (SI) is supposed to be coherent. That is, when a combination of units is replaced by an equivalent unit, there is no additional numerical factor. Here we consider dimensionless units as defined in the SI,…

Data Analysis, Statistics and Probability · Physics 2015-05-27 Peter J. Mohr , William D. Phillips

Registries provide a mechanism with which VO applications can discover and select resources--e.g. data and services--that are relevant for a particular scientific problem. This specification defines the interfaces that support interactions…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Kevin Benson , Ray Plante , Elizabeth Auden , Matthew Graham , Gretchen Greene , Martin Hill , Tony Linde , Dave Morris , Wil O'Mullane , Guy Rixon , Aurélien Stébé , Kona Andrews

We introduce Ideograph, a language for expressing and manipulating structured data. Its types describe kinds of structures, such as natural numbers, lists, multisets, binary trees, syntax trees with variable binding, directed multigraphs,…

Programming Languages · Computer Science 2023-03-29 Stephen Mell , Osbert Bastani , Steve Zdancewic

Language models (LM) are very powerful in lipreading systems. Language models built upon the ground truth utterances of datasets learn grammar and structure rules of words and sentences (the latter in the case of continuous speech).…

Audio and Speech Processing · Electrical Eng. & Systems 2018-09-19 Helen L Bear