中文
相关论文

相关论文: IVOA recommendation: Units in the VO

200 篇论文

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…

最优化与控制 · 数学 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…

天体物理仪器与方法 · 物理学 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…

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

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算与语言 · 计算机科学 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…

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…

计算与语言 · 计算机科学 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…

范畴论 · 数学 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…

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…

形式语言与自动机理论 · 计算机科学 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…

编程语言 · 计算机科学 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…

人机交互 · 计算机科学 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…

天体物理仪器与方法 · 物理学 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…

计算与语言 · 计算机科学 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,…

数据分析、统计与概率 · 物理学 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…

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,…

编程语言 · 计算机科学 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).…

音频与语音处理 · 电气工程与系统科学 2018-09-19 Helen L Bear