FOR-A

Results: 646152



#Item
41Group theory / Algebra / Abstract algebra / Topological groups / Lie groups / Geometric group theory / Kazhdan's property / Induced representation / Reductive group / Ergodic theory / Commutator subgroup / Representation theory

THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2010-03-26 13:13:11
42Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-09-27 23:32:05
43Geometry / Mathematics / Space / Metric geometry / Banach space / Metric space / Quasi-isometry / Embedding / Metric / Doubling space / Tight span / Hyperbolic metric space

Quantitative property A, Poincar´e inequalities, Lp-compression and Lp-distortion for metric measure spaces. Romain Tessera September 1, 2008 Abstract

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2008-09-01 12:44:05
44Abstract algebra / Algebra / Mathematics / Algebraic topology / Guggenheim Fellows / Sheaf / Homological algebra / Vector bundle / Fiz / Morphism / Bertram Kostant / Algebraic geometry

Grivaux, Julien The Hochschild-Kostant-Rosenberg isomorphism for quantized analytic cycles. (English) Zbl  Int. Math. Res. Not. 2014, No. 4, Summary: In this article, we provide a detailed a

Add to Reading List

Source URL: jgrivaux.perso.math.cnrs.fr

Language: English - Date: 2018-03-18 08:56:33
45Cryptography / Stream ciphers / Block cipher / ESTREAM / DICING / WG

A fundamental evaluation of 80bit keys employed by hardware oriented stream ciphers Iain Devlin Centre for Electronic Systems, Durham University

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-04-17 15:16:36
46Identity documents / Law / Nationality law / Human migration / Nationality / Government / European Economic Area / Work permit / Swiss nationality law / European Free Trade Association / Travel visa / Passport

Information for non-Swiss nationals This overview gives only a rough overview due to the differences in status of citizens from different countries. It is advisable to consult the competent authorities in individual case

Add to Reading List

Source URL: www.gruenden.ch

Language: English - Date: 2017-12-22 02:27:10
47Flags / Vexillology / Half-mast / National League of Families POW/MIA Flag / Flag of the United States / Flag protocol / Flag / National POW/MIA Recognition Day / Flag of Ireland

FLAG PROTOCOL WHEN LOWERING THE U.S. FLAG AND MARYLAND STATE FLAG By order of the Governor or authorized representative, the Maryland flag shall be flown at half-staff on any occasion deemed appropriate and for a period

Add to Reading List

Source URL: www.sos.state.md.us

Language: English - Date: 2018-10-07 22:21:51
48Software engineering / Computer programming / Computing / Control flow / Exception handling / Setjmp.h / C++ / Goto / Subroutine / Pointer / Inline expansion / Switch statement

C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2002-01-23 20:49:17
49Economy / Software / Computing / Tencent / Instant messaging clients / Universal Windows Platform apps / Ma Huateng / WeChat / BlackBerry Limited / Yoy / Earnings before interest /  taxes /  depreciation /  and amortization / Income statement

For Immediate Release TENCENT ANNOUNCES 2018 SECOND QUARTER AND INTERIM RESULTS Hong Kong, August 15, 2018 – Tencent Holdings Limited (“Tencent” or the “Company”, 00700.HK), a leading provider of Internet valu

Add to Reading List

Source URL: www.tencent.com

Language: English - Date: 2018-08-15 21:13:12
50Cryptography / Mathematics / Algebra / Finite fields / Computational hardness assumptions / Integer factorization algorithms / Emerging technologies / Quantum computing / RSA / Euclidean algorithm / Quantum algorithm / XTR

Lecture 19, Thurs March 30: RSA and Shor’s Algorithm Today we’ll see Shor’s algorithm. Given a positive integer ​N​, which we’ll assume for simplicity is a product of two primes |​and , this algorithm lets

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-08-26 18:23:27
UPDATE