TITLE II--TRADE BENEFITS FOR CARIBBEAN BASIN Subtitle B--Trade Benefits for Caribbean Basin Countries SECTEMPORARY PROVISIONS TO PROVIDE ADDITIONAL TRADE BENEFITS TO CERTAIN BENEFICIARY COUNTRIES. (a) TEMPORARY PR

Source URL: otexa.trade.gov

• Economy of the Caribbean
• Law
• Caribbean Basin Trade and Partnership Act
• Statutory law
• Certificate of origin
• Anti-circumvention
• United States Code

Harnessing the Web for Population-Scale Physiological Sensing: A Case Study of Sleep and Performance Tim Althoff∗ Eric Horvitz Ryen W. White

Source URL: www.timalthoff.com

• Neuroscience
• Sleep
• Physiology
• Circadian rhythm
• Insomnia
• Chronotype
• Somnology
• Circadian rhythm sleep disorder
• Non-rapid eye movement sleep
• Delayed sleep phase disorder
• Actigraphy
• Effects of sleep deprivation in space

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

ACT for Youth Center of Excellence A collaboration of Cornell University, the University

Source URL: www.actforyouth.net

• Human sexuality
• Human behavior
• Gender
• Sexual orientation
• Interpersonal relationships
• LGBT
• Love
• Sexual minority
• Bisexuality
• Human sexual activity
• Homosexuality
• Heterosexuality

Decentralized Energy Market WHITEPAPER An energy trading platform that utilises blockchain technology to create a new disruptive model for buying and selling electricity

Source URL: suncontract.org

• Energy
• Universe
• Energy economics
• Nature
• Energy policy
• Renewable energy
• Climate change policy
• Energy development
• Sustainable energy
• World energy consumption
• Energy market
• Solar power

Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1

Source URL: mebsout.github.io

• Software engineering
• Computing
• Avionics
• Engineering
• Systems engineering
• Software requirements
• Embedded systems
• Safety engineering
• DO-178C
• Formal methods
• Alt-Ergo
• Model checking

QUICK REFERENCE GUIDE POWEREDGE C SERIES Data centers are undergoing a transformation to meet the demands of the digital economy. Built for scale-out workloads like high performance computing, deep learning and data ana

Source URL: i.dell.com

• Computing
• Computer hardware
• Server hardware
• EMC Corporation
• Dell PowerEdge
• OpenManage
• Dell
• NVM Express
• Texas Advanced Computing Center
• Dell M1000e

A Framework for Universally Composable Diffie-Hellman Key Exchange Ralf K¨usters and Daniel Rausch University of Stuttgart Stuttgart, Germany Email: {ralf.kuesters, daniel.rausch}@informatik.uni-stuttgart.de

Source URL: www.ieee-security.org

• Cryptography
• Public-key cryptography
• Cryptographic protocols
• Key management
• Public key infrastructure
• DiffieHellman key exchange
• Key exchange
• Forward secrecy
• RSA
• Secure channel
• XTR
• Digital signature

UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in

Source URL: smeiklej.com

• Cryptography
• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Digital currencies
• Public-key cryptography
• Mihir Bellare
• SUF
• RSA

Mechanism Design for Mixed Bidders Yoram Bachrach Sofia Ceppi Ian A. Kash

Source URL: gdac.uqam.ca