Results 321 to 330 of about 202,247 (341)

Quotient for Assume-Guarantee Contracts

International Conference on Formal Methods and Models for Co-Design, 2018
We introduce a novel notion of quotient set for a pair of contracts and the operation of quotient for assumeguarantee contracts. The quotient set and its related operation can be used in any compositional methodology where design requirements are mapped ...
Í. Í. Romeo, A. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang   +3 more
semanticscholar   +1 more source

Quotient inductive-inductive types

Foundations of Software Science and Computation Structure, 2016
Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types and allow to define types which are not sets in the sense of HoTT (
Thorsten Altenkirch, Paolo Capriotti, G. Dijkstra, F. Forsberg   +3 more
semanticscholar   +1 more source

Rings of Quotients [PDF]

, 1998
ℤ being an integral domain, for each multiplicative system S ⊂ ℤ, the ring of quotients identified with a subring with identity of Q, the rational numbers of the form \( \frac{m}{s} \) with m ∈ ℤ and s ∈ S. Now, if A is a subring of Q and 1 ∈ A let \( {{S}_{A}} = \left\{ {n \in \mathbb{Z}\left| {\frac{1}{n} \in A} \right.} \right\} \).
Peter Hamburg, Grigore Cǎlugǎreanu
openaire   +1 more source

Food quotient, respiratory quotient, and energy balance

The American Journal of Clinical Nutrition, 1993
This paper reviews evidence that the macro-nutrient composition of the diet and the maintenance of energy balance are correlated. Intervention studies show that subjects lose weight on low-fat diets and gain weight on high-fat diets. Descriptive studies show that overweight subjects eat relatively more fat but have the same total energy intake as ...
openaire   +3 more sources

Non-commutative resolutions of quotient singularities for reductive groups

Inventiones Mathematicae, 2015
In this paper we generalize standard results about non-commutative resolutions of quotient singularities for finite groups to arbitrary reductive groups.
S. Spenko, Michel van den Bergh
semanticscholar   +1 more source

Mathematical Quotients and Quotient Types in Coq

2003
This note studies quotient types in the Calculus of Inductive Constructions (CIC), implemented in the proof assistant coq, and compares their expressivity to that of mathematical quotients. In [Hof95], Martin Hofmann proposes an extension of the Calculus of Constructions (CC) with quotient types which he shows consistent, but notices that they are not ...
Loïc Pottier, Carlos Simpson, Laurent Chicli   +2 more
openaire   +2 more sources

Rings of Quotients

1999
In commutative algebra, localization of commutative rings R with respect to multiplicative sets S ⊆ R provides a powerful tool for proving theorems. For noncommutative rings, however, localization is a much more difficult proposition.
openaire   +2 more sources

The Autism-Spectrum Quotient (AQ): Evidence from Asperger Syndrome/High-Functioning Autism, Malesand Females, Scientists and Mathematicians

Journal of Autism and Developmental Disorders, 2001
S. Baron-Cohen, S. Wheelwright, Richard Skinner, J. Martin, E. Clubley   +4 more
semanticscholar   +1 more source

The Empathy Quotient: An Investigation of Adults with Asperger Syndrome or High Functioning Autism, and Normal Sex Differences

Journal of Autism and Developmental Disorders, 2004
S. Baron-Cohen, S. Wheelwright
semanticscholar   +1 more source

A somatic quotient

The American Journal of Clinical Nutrition, 1972
Donald S. McLaren, Abdallah A. Kanawati
openaire   +3 more sources