4-1-1

Results: 87755



#Item
21Agency law / Asymmetric information / Business law / Principal

Form AAOS Page 1 of 4 (RevElaine F. Marshall, Secretary of State Additional Authorized Officer(s) Statement 2018 Principal Information

Add to Reading List

Source URL: lobby.ncsbe.gov

Language: English - Date: 2018-09-06 09:07:46
22Theoretical computer science / Formal methods / Mathematics / Logic in computer science / Mathematical logic / Automated theorem proving / School of Computer Science /  University of Manchester / Automated reasoning / Formal verification / E theorem prover / IP / Satisfiability modulo theories

Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-31 05:29:21
23Distributed data storage / Computing / Concurrent computing / Distributed computing / File sharing networks / File sharing / Beta software / Cross-platform software / Freenet / Peer-to-peer / Gnutella / Trie

Freenet: A Distributed Anonymous Information Storage and Retrieval System Ian Clarke1 , Oskar Sandberg2 , Brandon Wiley3 , and Theodore W. Hong4? 1 4

Add to Reading List

Source URL: ericw.us

Language: English - Date: 2017-08-24 21:07:11
24Cryptography / Multivariate cryptography / QUAD / Stream cipher / Parametric equation / Hidden Field Equations

Analysis of QUAD Bo-Yin Yang1 , Owen Chia-Hsin Chen2 , Daniel J. Bernstein3 , and Jiun-Ming Chen4 1 4

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:35
25Economy / Financial services / Money / Banking / Payment systems / Direct debit / Bank / Deposit account / Online banking / Bank fraud / Custodian bank

General Terms and Conditions of Business Version datedArt. 1 Scope of validity Art. 4 Lack of capacity to act

Add to Reading List

Source URL: www.unionbankag.com

Language: English - Date: 2017-12-01 10:53:55
26K-means clustering / Cluster analysis / Belief propagation

Supplementary Material: The Emergence of Organizing Structure in Conceptual Representation Brenden M. Lake,1,2 Neil D. Lawrence,3 Joshua B. Tenenbaum,4,

Add to Reading List

Source URL: cims.nyu.edu

Language: English - Date: 2018-01-09 09:21:30
27Mathematics / Algebra / Abstract algebra / Computer algebra / Algebraic geometry / Polynomials / Equations / Grbner basis / Equation solving / System of polynomial equations / Factorization / Resultant

Fast Exhaustive Search for Polynomial Systems in F2 Charles Bouillaguet1, Hsieh-Chung Chen2 , Chen-Mou Cheng3 , Tung Chou3 , Ruben Niederhagen3,4, Adi Shamir1,5, and Bo-Yin Yang2 1 2

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:41
28Economy of the United States / Economy of Philadelphia / NASDAQ OMX Group / Philadelphia Stock Exchange / Rittenhouse Square /  Philadelphia / NYSE Arca / NASDAQ / Option / Chicago Board Options Exchange / NYSE American / Nasdaq Nordic / New York Stock Exchange

cov12-3443-1_193858_1-4_.pdf

Add to Reading List

Source URL: www.traditionamericas.com

Language: English - Date: 2018-06-01 11:21:03
29Theology / Conceptions of God / Deities / God / Religion / Philosophy of religion

1 PEW RESEARCH CENTER 2017 PEW RESEARCH CENTER’S AMERICAN TRENDS PANEL WAVE 30 December topline December 4-18, 2017

Add to Reading List

Source URL: www.pewforum.org

Language: English - Date: 2018-09-13 15:12:07
30Cryptography / Multivariate cryptography / Hidden Field Equations / Equation / Field extension / XSL attack

Square, a New Multivariate Encryption Scheme Crystal Clough1 , John Baena1,2 , Jintai Ding1,4 , Bo-Yin Yang3 , and Ming-shing Chen3 1 Department of Mathematical Sciences,

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:42
UPDATE