Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Functional languages
• Programming languages
• Lisp
• Cross-platform software
• Racket
• Scheme
• Literate programming
• Anonymous function

Board Members: Sue DeVoe Allen, Chairperson ▪ Lynda Smith David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez March 20, 2018 The Board will hold a regular meeting on Tuesday, April 1

Source URL: clark.ohioboe.com

Editorial Webinars Converge360 is offering targeted editorial Webinars that simply require sponsorship. These high-quality editorial events are run by our editorial staff and are on-point for sponsors who will reap the r

Source URL: converge360.com

• Educational technology
• Teleconferencing
• Web conferencing
• Sponsor

Congestions on statically routed InfiniBand networks Branislav Jansík IT4Innovations national supercomputing center Mission and Vision

Source URL: hpcadvisorycouncil.com

• Computing
• Computer architecture
• Parallel computing
• Cluster computing
• Concurrent computing
• Distributed computing architecture
• Supercomputer
• FLOPS
• K computer

LAST REVISED: 21 MayCOOKIES & SIMILAR TECHNOLOGIES POLICY This Cookies & Similar Technologies Policy (“CST Policy”) describes the different types of cookies and similar technologies that are used on the site w

Source URL: cdn.kornferry.com

• Internet privacy
• Computing
• Marketing
• Software
• Adobe Flash
• Adobe software
• Terms of service
• Computer access control
• HTTP cookie
• Local shared object
• Google Analytics
• Targeted advertising

Inductive Representation Learning on Large Graphs arXiv:1706.02216v4 [cs.SI] 10 Sep 2018 William L. Hamilton∗

Source URL: arxiv.org

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Networks
• Artificial intelligence
• Applied mathematics
• Learning
• Feature learning
• Deep learning
• Convolutional neural network
• Community structure
• Semi-supervised learning

ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Cohomology theories
• Homological algebra
• Sheaf theory
• Algebraic topology
• Divisor
• tale cohomology
• Chow group
• Sheaf

Absentee Ballot Application—Voter with a Disability
OUT-OF-COUNTY Hospitalization Due to an Accident or Unforeseeable Medical Emergency That Occurred After 12:00 p.m. (noon) on the Saturday 
Before Election Day and

Source URL: www.sos.state.oh.us

• Elections
• Politics
• Absentee ballot
• Government
• Voter registration
• Provisional ballot
• Group decision-making
• Postal voting

Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1

Source URL: www.cs.man.ac.uk

• Computing
• Cross-platform software
• Logic in computer science
• Runtime verification
• Benchmark
• Standard Performance Evaluation Corporation
• Computer performance
• Java

Fast Exhaustive Search for Quadratic Systems in F2 on FPGAs∗ Charles Bouillaguet1 , Chen-Mou Cheng2 , Tung Chou3 , Ruben Niederhagen4 , and Bo-Yin Yang4 1

Source URL: precision.moscito.org

• Computing
• Computer programming
• Mathematics
• Equations
• Elementary algebra
• Hardware acceleration
• Arrays
• Computer performance
• Lookup table
• Quadratic
• Field-programmable gate array
• Equation solving