FOR-A

Results: 646152



#Item
221Philosophy of religion / Skepticism / Philosophy / Religion / Human behavior / Public opinion / Agnosticism / Atheism / Opinion poll / Church attendance

FOR RELEASE AUG. 1, 2018 FOR MEDIA OR OTHER INQUIRIES: Gregory A. Smith, Associate Director of Research Claire Gecewicz, Research Analyst Anna Schiller, Communications Manager

Add to Reading List

Source URL: www.pewforum.org

Language: English - Date: 2018-09-13 15:12:09
222Computer security / Security engineering / Cyberwarfare / Prevention / Cybercrime / National security / Computer network security / Cyberattack / Capture the flag / Information security / Denial-of-service attack

Poster: Shell We Play A Game? CTF-as-a-service for Security Education Adam Doup´e and Giovanni Vigna Arizona State University and UC Santa Barbara ,

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-13 00:24:26
223Geometry / Group theory / Mathematics / Geometric group theory / Lie groups / Topological groups / Metric geometry / Amenable group / Kazhdan's property / Solvable group / Lattice / Representation theory

ON THE VANISHING OF REDUCED 1-COHOMOLOGY FOR BANACHIC REPRESENTATIONS YVES CORNULIER AND ROMAIN TESSERA Abstract. A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial red

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2017-10-19 06:33:46
224Finance / Economy / Money / Investment / T. Rowe Price / Bond / Asset classes / Interest rate swap / Stock market / Fixed income / Futures contract / Actuarial science

Fixed Income markets are at a crossroad, which way should investors turn? Right for capital protection or left for return? Financial markets are fast reaching a crossroad, leading investors to rethink what they should tr

Add to Reading List

Source URL: www.fundexpertsforum.com

Language: English - Date: 2018-05-29 09:57:59
225Poker / Gambling / Gaming / Computer poker player / Game artificial intelligence / Cereus Poker Network / Cheating in poker / Online poker / World Series of Poker / PokerStars / Texas hold 'em / Pot

A Practical Implementation of a MultiDevice Split Application for Protecting Online Poker Gabriel Kaptchuk and Aviel Rubin Johns Hopkins University [gkaptchuk, rubin]@cs.jhu.edu

Add to Reading List

Source URL: www.cs.jhu.edu

Language: English - Date: 2016-03-22 16:17:20
226Computer network security / Computing / Cyberwarfare / Multi-agent systems / Spamming / Cybercrime / Botnet / Influence diagram / Bayesian network / Computer security

Poster: Bottleneck: A Generalized, Flexible, and Extensible Framework for Botnet Defense Naurin Rasheed Ramay∗ , Sheharbano Khattak† , Affan A. Syed‡ Syed Ali Khayam§

Add to Reading List

Source URL: sheharbano.com

Language: English - Date: 2017-02-16 07:58:24
227Formal languages / Language / Culture / Grammar / Context-free grammar / Formal grammar / Context-free language / Regular language / Regular grammar / Model checking / Conjunctive grammar

A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
228Coding theory / Error detection and correction / ReedSolomon error correction / NC / Erasure code / RAID / Discrete mathematics / Mathematics / Theoretical computer science

RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2013-05-26 08:06:24
229Mathematical analysis / Mathematics / Constructible universe / Distribution

A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2010-09-08 19:38:18
230Algebra / Mathematics / Polynomials / Abstract algebra / Polynomial / Irreducible polynomial / Factorization of polynomials / Resultant / Algebraic geometry / Factorization / Polynomial greatest common divisor / Permutation polynomial

LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
UPDATE