Results 11  20
of
3,933
Intersection Type Assignment Systems
 THEORETICAL COMPUTER SCIENCE
, 1995
"... This paper gives an overview of intersection type assignment for the Lambda Calculus, as well as compare in detail variants that have been defined in the past. It presents the essential intersection type assignment system, that will prove to be as powerful as the wellknown BCDsystem. It is essenti ..."
Abstract

Cited by 73 (37 self)
 Add to MetaCart
This paper gives an overview of intersection type assignment for the Lambda Calculus, as well as compare in detail variants that have been defined in the past. It presents the essential intersection type assignment system, that will prove to be as powerful as the wellknown BCD
Intersection Types and Computational Effects
, 2000
"... We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for polymorphism adopted in the revised definition of Standard ML. It differs in that it is not tied to letexpressions and re ..."
Abstract

Cited by 71 (7 self)
 Add to MetaCart
be extended to incorporate parametric polymorphism. Taken together, we see our system and associated typechecking algorithm as a significant step towards the introduction of intersection types into realistic programming languages. The added expressive power would allow many more properties of programs
Detection of incompatible properties
, 707
"... In a typical twoslits experiments we face the question whether it is possible or not to attain knowledge about properties incompatible with WhichSlit property together with the measurement of the final impact point. A wide family of solutions is concretely found and an ideal experiment realizing s ..."
Abstract
 Add to MetaCart
In a typical twoslits experiments we face the question whether it is possible or not to attain knowledge about properties incompatible with WhichSlit property together with the measurement of the final impact point. A wide family of solutions is concretely found and an ideal experiment realizing
On Some Incompatible properties of Voting Schemes
 In Proceedings of the IAVoSS Workshop on Trustworthy Elections, 2006. [CMS00] Iliano Cervesato, Catherine
"... Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without nonstandard assumptions. This paper is a work in progress. More specifically, we focus on the universal verifiability of the computation of the tally, on the unconditio ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without nonstandard assumptions. This paper is a work in progress. More specifically, we focus on the universal verifiability of the computation of the tally
Sets with large intersection properties
 J. London Math. Soc
, 1994
"... For 0 < s < n let ^ " be the class of Grsubsets of W such that Fe<$ ° if {\£.Jt(F) h a s Hausdorff dimension at least s for all sequences of similarity transformations {fJffLy We show that <& ' is closed under countable intersections and under biLipschitz functions, and th ..."
Abstract

Cited by 27 (0 self)
 Add to MetaCart
For 0 < s < n let ^ " be the class of Grsubsets of W such that Fe<$ ° if {\£.Jt(F) h a s Hausdorff dimension at least s for all sequences of similarity transformations {fJffLy We show that <& ' is closed under countable intersections and under biLipschitz functions
Coisotropic intersections
"... Abstract. In this paper we make the first steps towards developing a theory of intersections of coisotropic submanifolds, similar to that for Lagrangian submanifolds. For coisotropic submanifolds satisfying a certain stability requirement we establish persistence of coisotropic intersections under H ..."
Abstract

Cited by 37 (6 self)
 Add to MetaCart
Hamiltonian diffeomorphisms, akin to the Lagrangian intersection property. To be more specific, we prove that the displacement energy of a stable coisotropic submanifold is positive, provided that the ambient symplectic manifold meets some natural conditions. We also show that a displaceable, stable
The incompatible desiderata of gene cluster properties
 IN COMPARATIVE GENOMICS, RECOMB 2005 INTERNATIONAL WORKSHOP, RCG 2005
, 2005
"... There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether the same sets of genes reappear in clusters in two or more genomes. We formalize and analyze the desirable properties of gene clus ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether the same sets of genes reappear in clusters in two or more genomes. We formalize and analyze the desirable properties of gene
Privacypreserving set operations
 in Advances in Cryptology  CRYPTO 2005, LNCS
, 2005
"... In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private input multiset. In order to protect these private sets, the players perform privacypreserving computation; that is, no part ..."
Abstract

Cited by 161 (0 self)
 Add to MetaCart
, no party learns more information about other parties ’ private input sets than what can be deduced from the result. In this paper, we propose efficient techniques for privacypreserving operations on multisets. By employing the mathematical properties of polynomials, we build a framework of efficient
Values of Brownian intersection exponents I: Halfplane exponents
 Acta Math
"... This paper proves conjectures originating in the physics literature regarding the intersection exponents of Brownian motion in a halfplane. For instance, suppose that B and B ′ are two independent planar Brownian motions started from distinct points in a halfplane H. Then as t → ∞, P B[0,t] ∩ B ′ ..."
Abstract

Cited by 101 (18 self)
 Add to MetaCart
limit of critical percolation cluster boundaries) satisfies the “conformal restriction property”. We establish a generalization of Cardy’s formula (for crossings of a rectangle by a percolation cluster) for SLE6, from which the exact values of intersection exponents for SLE6 follow. Since this process
Automatic Synthesis of Interfaces between Incompatible Protocols
 DAC '98
, 1998
"... A t the system level, reusable Intellectual Property #or IP# bloc ks can be represented abstractly as blocks that exchange messages. The concrete implementations of these IP blocks m ust exc hange the messages through complex signaling protocols. Interfacing between ..."
Abstract

Cited by 65 (5 self)
 Add to MetaCart
A t the system level, reusable Intellectual Property #or IP# bloc ks can be represented abstractly as blocks that exchange messages. The concrete implementations of these IP blocks m ust exc hange the messages through complex signaling protocols. Interfacing between
Results 11  20
of
3,933