Results 1 - 10
of
214
Submitted to:
"... I would like to take this opportunity to thank the authorities at Intel Corporation and University of Pennsylvania for having made this summer internship program possible for the students to gain better understanding of the corporate world. I am specially thankful to the wonderful group members of I ..."
Abstract
- Add to MetaCart
of Intel Research, Santa Clara, with special thanks to my mentor Carl Livadas for all the help, support and discussions. I am also thankful to Eve M. Schooler for her encouragement and supervision. Above all, I am thankful to Prof. Roch Guerin for providing me with the opportunity to undertake
Internet Engineering Task Force INTERNET-DRAFT Mark Handley/Eve Schooler
, 1996
"... Many styles of multimedia conferencing are likely to co-exist on the Internet, and many of them share the need to invite users to participate. The Session Invitation Protocol (SIP) is a simple protocol designed to enable the invitation of users to participate in such multimedia sessions. It is not t ..."
Abstract
- Add to MetaCart
Many styles of multimedia conferencing are likely to co-exist on the Internet, and many of them share the need to invite users to participate. The Session Invitation Protocol (SIP) is a simple protocol designed to enable the invitation of users to participate in such multimedia sessions. It is not tied to any specific conference control scheme, providing support for either loosely or tightly controlled sessions. In particular, it aims to enable user mobility by relaying and redirecting invitations to a user’s current location. This document is a product of the Multiparty Multimedia Session Control (MMUSIC) working group of the Internet Engineering Task Force. Comments are solicited and should be addressed to the working group’s mailing list at
, Jonathan Schooler 1
"... Sleep is a basic physiological process essential for good health. However, 40 million people in the U.S. are diag-nosed with sleep disorders, with many more undiagnosed. To help address this problem, we developed an application, ShutEye, which provides a peripheral display on the wall-paper of the u ..."
PAR LAMARRE, Marie-Éve
"... M. Yvan Petit, directeur de mémoire Département de génie mécanique à l'École de technologie supérieure M. Stefan Parent, codirecteur, chimrgien orthopédiste Département de chimrgie à l'hôpital Sainte-Justine ..."
Abstract
- Add to MetaCart
M. Yvan Petit, directeur de mémoire Département de génie mécanique à l'École de technologie supérieure M. Stefan Parent, codirecteur, chimrgien orthopédiste Département de chimrgie à l'hôpital Sainte-Justine
Is Temporally Tuned and Eve
"... ered while the hands were at rest. At the point of per- circles in Figure 2A) did not differ significantly from ceptual equality, the comparison tap was not signifi- those in the first group (F1,20 < 0.58; p> 0.45), and the cantly different from the test tap (M = 94 % of test tap, greatest att ..."
Abstract
- Add to MetaCart
ered while the hands were at rest. At the point of per- circles in Figure 2A) did not differ significantly from ceptual equality, the comparison tap was not signifi- those in the first group (F1,20 < 0.58; p> 0.45), and the cantly different from the test tap (M = 94 % of test tap, greatest
Covariance and contravariance: Conflict without a cause
- ACM Transactions on Programming Languages and Systems
, 1995
"... In type-theoretic research on object-oriented programming, the issue of “covarianceversus con-travariance ” is atopicof continuing debate. In this short notewe argue that covariance and con-travariance appropriately characterize two distinct and independent mechanisme. The so-called contravariance r ..."
Abstract
-
Cited by 140 (9 self)
- Add to MetaCart
rule correctly captures the subtyping relation (that relation which establishes which sets of functions can replace another given set m eve ~ contezt). A covariant relation, instead, characterizes the speczalizatzon of code (i.e., the definition of new code which replaces old def-initions in some
Theorem Proving via General Matings
- Journal of the Association for Computing Machinery
"... ABSTRACT An approach to automaUc theorem proving using matmgs of arbitrary sentences i discussed No use is made of conjunctive normal form (clauses) or prenex normal form, since these forms tend to introduce superfluous redundancy, complicate the search for a proof, and impede analysis of the essent ..."
Abstract
-
Cited by 130 (10 self)
- Add to MetaCart
easily VlSUahzed m terms of a two-dimensional format for formulas. An implementation by Eve Cohen has yielded encouraging preliminary results. Some implementation issues are discussed.
Observatoire de Gen`eve, CH-1290 Sauverny, Switzerland
, 245
"... A photometric criterium (m parameter) deduced from the Geneva 7-colour photometry provides good Am-candidates. In the classical magnitude vs colour diagrams of clusters, the Am-stars tend to be above the main sequence. Following points will be examined: a) the validity of the photometric criterium ..."
Abstract
- Add to MetaCart
A photometric criterium (m parameter) deduced from the Geneva 7-colour photometry provides good Am-candidates. In the classical magnitude vs colour diagrams of clusters, the Am-stars tend to be above the main sequence. Following points will be examined: a) the validity of the photometric criterium
Can Eve control PerkinElmer actively-quenched single-photon detector?
"... Abstract We show how PerkinElmer SPCM-AQR detector module can be controlled by an eavesdropper using bright optical pulses, by exploiting an obscure flaw in the detector electrical circuit. First experimental results are reported. This loophole may make possible an attack against quantum cryptosyst ..."
Abstract
- Add to MetaCart
of the module is illuminated by light waveforms with peak optical power between 1 and 10 mW (at 780 nm). We do not see how three of these behaviors could be immediately useful for Eve, and omit their description for brevity. However, the fourth behavior can, under some conditions, be used by Eve to control Bob
(1) D'epartement de Physique Th'eorique, Universit'e de Gen`eve,
, 1998
"... astro-ph/9806015 Massless (pseudo-)scalar seeds of CMB anisotropy R. Durrer(1), M. Gasperini(2), M. Sakellariadou(1),(3), G. Veneziano(4) ..."
Abstract
- Add to MetaCart
astro-ph/9806015 Massless (pseudo-)scalar seeds of CMB anisotropy R. Durrer(1), M. Gasperini(2), M. Sakellariadou(1),(3), G. Veneziano(4)
Results 1 - 10
of
214