Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Functional programming
• Subroutines
• Programming idioms
• Theoretical computer science
• Functional languages
• Monad
• Standard ML
• Eval
• Algorithm

From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

Source URL: ccl.northwestern.edu

• Modeling and simulation
• Computing
• Systems science
• Scientific modeling
• Simulation
• Multi-agent systems
• Systems theory
• NetLogo
• Agent-based model
• Conceptual model
• Scientific modelling
• Ecosystem model

Yogi Tea Bag Inspirations received from all the Yogi Tea Debby has consumed over the last year… A Act selfless, you will be infinite. Appreciate yourself and honor your soul. As a plant can’t live without roots, so a

Source URL: www.debbyoga.com

• Human behavior
• Psychology
• Emotions
• Philosophy
• Virtue
• Spirituality
• Kindness
• Philosophy of love
• The Art of Happiness
• Compassion
• Religious views on love
• Meaning of life

Characterization of Internet Censorship from Multiple Perspectives ! Shehar Bano ! University College London!

Source URL: sheharbano.com

• Information and communications technology
• Digital media
• Cultural globalization
• Internet
• New media
• Telegraphy
• Virtual reality
• Censorship
• Technology

2015 Forth Day Programming Challenge Chen-Hanson Ting The goal of this programming challenge is to generate the best images on an 8x8 LED array. The LED array is from Jameco, ValuePro LD788BS. It is mounted on a shield t

Source URL: www.forth.org

• Microcontrollers
• Computing
• Electronics
• Arduino
• Software engineering
• Physical computing
• ATmega328
• Forth
• Comparison of single-board microcontrollers

Dockless Mobility Tools From bikes to scooters and everything in between, dockless mobility is offering cities a new transportation option. Ride Report has designed a comprehensive toolset to manage these emerging mobili

Source URL: static.ride.report

• Sharing economy
• Bicycle-sharing system
• Transport
• Scooter-sharing system
• Economy
• Geography of Texas
• Austin
• Texas
• Last mile
• Draft:Micromobility

1 From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Information retrieval
• Computing
• SQL keywords
• SQL
• Query languages
• Database management systems
• Database theory
• Select
• Null
• Update
• Join

From: Ho, James (Judiciary) <> To:

Source URL: int.nyt.com

• Supreme Court of the United States
• Manuel Miranda
• Political parties
• Republican Party
• Right-wing politics
• Conservatism

Starting from 16 January 2015, HSBC will extend the cut-off time of BAHTNET transaction as per below. Payment Services BAHTNET

Source URL: www.hsbc.co.th