scholarly journals Identifying Set Inclusion by Projective Positions and Mixed Volumes

2014 ◽  
pp. 133-145
Author(s):  
Dan Florentin ◽  
Vitali Milman ◽  
Alexander Segal
Keyword(s):  
Mixed Volumes ◽  
Set Inclusion

scholarly journals Symmetrization with respect to mixed volumes

2021 ◽  
Vol 388 ◽  
pp. 107887
Author(s):  
Francesco Della Pietra ◽  
Nunzia Gavitone ◽  
Chao Xia
Keyword(s):  
Mixed Volumes

scholarly journals Children’s performance on set-inclusion and linear-ordering relationships

1985 ◽  
Vol 23 (2) ◽  
pp. 105-108 ◽  
Author(s):  
Stephen E. Newstead ◽  
Stephanie Keeble ◽  
Kenneth I. Manktelow
Keyword(s):  
Linear Ordering ◽  
Set Inclusion

Densities of mixed volumes for Boolean models

2001 ◽  
Vol 33 (1) ◽  
pp. 39-60 ◽  
Author(s):  
Wolfgang Weil
Keyword(s):  
Dimensional Space ◽  
Boolean Model ◽  
Boolean Models ◽  
Mixed Volumes ◽  
Explicit Formulae

In generalization of the well-known formulae for quermass densities of stationary and isotropic Boolean models, we prove corresponding results for densities of mixed volumes in the stationary situation and show how they can be used to determine the intensity of non-isotropic Boolean models Z in d-dimensional space for d = 2, 3, 4. We then consider non-stationary Boolean models and extend results of Fallert on quermass densities to densities of mixed volumes. In particular, we present explicit formulae for a planar inhomogeneous Boolean model with circular grains.

scholarly journals Representing Embeddability as Set Inclusion

1998 ◽  
Vol 58 (2) ◽  
pp. 257-270 ◽  
Author(s):  
Menachem Kojman
Keyword(s):  
Set Inclusion

scholarly journals Gaussian Processes and Mixed Volumes

1987 ◽  
Vol 15 (1) ◽  
pp. 292-304 ◽  
Author(s):  
V. D. Milman ◽  
G. Pisier
Keyword(s):  
Gaussian Processes ◽  
Mixed Volumes

scholarly journals Object-Oriented Type Inference

1991 ◽  
Vol 20 (345) ◽  
Author(s):  
Jens Palsberg ◽  
Michael I. Schwartzbach
Keyword(s):  
Fixed Point ◽  
Object Oriented ◽  
Type Inference ◽  
Finite Sets ◽  
New Approach ◽  
Optimizing Compiler ◽  
Point Derivation ◽  
Set Inclusion ◽  
Least Solution ◽  
Type Information

We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an optimizing compiler. Types are finite sets of classes and subtyping is set inclusion. Using a trace graph, our algorithm constructs a set of conditional type constraints and computes the least solution by least fixed-point derivation.

A Theorem on Set Inclusion in Metric Spaces

1973 ◽  
Vol 80 (1) ◽  
pp. 46-48
Author(s):  
James A. Heinen ◽  
Albert Wilansky
Keyword(s):  
Metric Spaces ◽  
Set Inclusion

scholarly journals Mixed multiplicities of ideals versus mixed volumes of polytopes

2007 ◽  
Vol 359 (10) ◽  
pp. 4711-4728 ◽  
Author(s):  
Ngo Viet Trung ◽  
Jugal Verma
Keyword(s):  
Mixed Volumes
Sign in / Sign up

Export Citation Format

Share Document