2-2-2 - PDFSEARCH.IO - Document Search Engine

2-2-2
Results: 835450

#	Item
431	For Immediate Release Citigroup Inc. (NYSE: C) February 2, 2018 Citi Tower Awarded WELL Certification at the Silver Level First building in Hong Kong to receive the international building certification that focuses exclu Add to Reading List Source URL: www.citibank.com.hk Language: English Construction Energy in the United States Building engineering Natural environment Architecture Citigroup Building energy rating Environment of the United States Leadership in Energy and Environmental Design U.S. Green Building Council Green building Professional certification
432	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-08 10:00:18 Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus
433	OpenAI Five Model ArchitecturePlayer 5 Player 4 Player 3 Player 2 Add to Reading List Source URL: s3-us-west-2.amazonaws.com Language: English - Date: 2018-08-06 12:15:51 Artificial neural networks Rectifier Arg max Softmax
434	QUADRATIC FUNCTORS ON POINTED CATEGORIES MANFRED HARTL & CHRISTINE VESPA Abstract. We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups Ab, and whose source category i Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2010-12-09 08:31:47 Mathematics Abstract algebra Algebra Functors Category theory Homological algebra Algebraic topology Adjoint functors Natural transformation Yoneda lemma Limit Universal property
435	Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨ Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Infinite loop Recursion Function Computability theory Computing
436	DATE FILED: May 3, :53 PM SUPREME COURT OF COLORADO 2 East 14th Avenue Denver, ColoradoOriginal Proceeding Add to Reading List Source URL: www.courts.state.co.us Language: English - Date: 2018-05-07 11:34:32 Ballot title Political terminology Referendums Supreme Court of the United States
437	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 Cryptography Multivariate cryptography Hidden Field Equations Equation Field extension XSL attack
438	Amtsblatt Official Journal Journal officiel Zusatzpublikation 2 – Amtsblatt EPA 2017 Vorschriften über die europäische Eignungsprüfung für zugelassene Vertreter Add to Reading List Source URL: documents.epo.org Language: French - Date: 2017-02-23 02:24:30
439	A Comprehensive Formal Security Analysis of OAuth 2.0 arXiv:1601.01229v3 [cs.CR] 27 MayDaniel Fett Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-06-14 12:33:34 Computer access control Computer security Identity management Federated identity Cloud standards OAuth Identity provider OpenID Single sign-on Authentication Relying party SAML-based products and services
440	Volunteer Programs to Support Standard Care The chart below provides a few examples from More-2-Eat of mealtime volunteer programs that could be used for standard nutrition care. Recruitment Training Add to Reading List Source URL: www.nutritioncareincanada.ca Language: English - Date: 2017-06-04 11:12:42 Health Dietitian Dysphagia Nutrition Caregiving Dietetics