Results 11 - 20 of 3,933

Intersection Type Assignment Systems

by Steffen Van Bakel - 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 well-known BCD-system. 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 well-known BCD

Intersection Types and Computational Effects

by Rowan Davies, Frank Pfenning , 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 let-expressions 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 type-checking 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

by A. Sestito , 707
"... In a typical two-slits experiments we face the question whether it is possible or not to attain knowledge about properties incompatible with Which-Slit 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 two-slits experiments we face the question whether it is possible or not to attain knowledge about properties incompatible with Which-Slit 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

by Benoît Chevallier-mames, Pierre-alain Fouque, David Pointcheval, Julien Stern, Jacques Traoré - 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 non-standard 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 non-standard 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

by K. J. Falconer - 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 bi-Lipschitz 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 bi-Lipschitz functions

Coisotropic intersections

by Viktor L. Ginzburg
"... 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

by Rose Hoberman, Dannie Durand - 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

Privacy-preserving set operations

by Lea Kissner, Dawn Song - 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 privacy-preserving 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 privacy-preserving operations on multisets. By employing the mathematical properties of polynomials, we build a framework of efficient

Values of Brownian intersection exponents I: Half-plane exponents

by Gregory F. Lawler, Oded Schramm, Wendelin Werner - 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 half-plane 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

by Roberto Passerone , James A. Rowson, Alberto Sangiovanni-Vincentelli - DAC &apos;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