MIT Saxelab Research Partnership In order to establish robust tools that can measure the educational impact of virtual exchange, the Saxelab Social Cognitive Neuroscience Laboratory at MIT is engaged in a multi-year iter

Source URL: virtualexchangecoalition.org

• Group processes
• Education
• Group dynamics
• Conflict
• Educational technology
• Sociology
• Behavioural sciences
• Contact hypothesis
• Integrated threat theory

Mississippi Autism Board July 20, Mississippi Street Jackson, MSMINUTES A meeting of the Mississippi Autism Board (“Board”) was called to order on

Source URL: sos.ms.gov

• Parliamentary procedure
• Education
• Human behavior
• Human communication
• Democracy
• Motion
• Minutes
• Adjournment
• Table
• Oral exam

A 1’st order phase transition via property T May 2007 A model proposed by Gromov [1] in 1992 consists in picking uniformly and independently 3n d realtors among the 3n possible reduced words of length n on the generato

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Mathematics
• Geometric group theory
• Group theory
• Kazhdan's property
• Random group
• Collapsing manifold
• Isoperimetric inequality
• Isoperimetric dimension
• Hyperbolic metric space

Vectorizing Higher-Order Masking Benjamin Grégoire, Kostas Papagiannopoulos, Peter Schwabe, and Ko Stoffelen Motivation •

Source URL: ko.stoffelen.nl

Microsoft Word - EO 6 Executive Order Supporting The Critical Role Of The Virginia Department Of Environmental Quality In Prote

Source URL: www.governor.virginia.gov

• Environment of the United States
• United States
• Environmental protection
• Oklahoma Department of Environmental Quality
• Michigan Department of Environmental Quality

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Source URL: adam.chlipala.net

• Computer programming
• Declarative programming
• Software engineering
• Exponentials
• Dependently typed programming
• Higher-order abstract syntax
• Logic programming
• Programming language theory
• Type theory
• Exponentiation
• Monad
• ?:

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

Source URL: manticore.cs.uchicago.edu

• Software engineering
• Computer programming
• Compiler optimizations
• Computing
• Inline expansion
• Optimizing compiler
• Data-flow analysis
• Scope
• Standard ML
• Functional programming
• Directed acyclic graph
• Static single assignment form

2016 SBST Project Abstracts SBST seeks, where feasible and cost-effective, to implement applications of behavioral insights to Federal policies and programs as demonstration projects, in order to generate evidence about

Source URL: sbst.gov

• Federal Retirement Thrift Investment Board
• Civil service in the United States
• Thrift Savings Plan
• Economy of the United States
• Finance
• Defense Finance and Accounting Service
• Economy

On First-Order Meta-Learning Algorithms arXiv:1803.02999v3 [cs.LG] 22 Oct 2018 Alex Nichol and Joshua Achiam and John Schulman OpenAI

Source URL: arxiv.org

• Numerical analysis
• Mathematical analysis
• Mathematical optimization
• Generalized functions
• Distribution
• Functional analysis
• Stochastic gradient descent
• Gradient descent

January 30, 2017 The American Political Science Association (APSA) condemns the Executive Order issued on January 27, 2017, entitled “Protecting the Nation From Foreign Terrorist Entry Into the United States,” and st

Source URL: www.apsanet.org

• American Political Science Association
• Dupont Circle
• APSA