MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be

Source URL: typographyforlawyers.com

• Digital typography
• Typography
• Typesetting
• Writing
• Web design
• Web typography
• World Wide Web
• Digital media
• Graphic design
• Font
• Google Fonts
• TrueType

arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING

Source URL: arxiv.org

• Computer architecture
• Computing
• Parallel computing
• Computer programming
• Roofline model
• Software optimization
• Software testing
• FLOPS
• Central processing unit
• Supercomputer
• Benchmark
• Instructions per cycle

Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie

Source URL: www.homepages.ucl.ac.uk

• Cognitive science
• Neuroscience
• Neuropsychology
• Sleep
• Memory
• Sleep deprivation
• Procedural memory
• Motor learning
• Sleep in non-human animals
• Effects of sleep deprivation on cognitive performance
• Sleep and memory

CA P I TOL E X T ENSION - E 2 ( U N D ERGRO U N D) STAIRS TO LEVEL E1

Source URL: www.texasbookfestival.org

Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Temporal logic
• Computer science
• Formal methods
• Linear temporal logic
• Model checking
• Amir Pnueli
• French Institute for Research in Computer Science and Automation
• Mathematical logic
• Temporal logic in finite-state verification

INSURETECH C O N N E C T THE FUTURE OF INSURANCE IS HERE OCTOBER 2-3, LAS VEGAS FORCES AT PLAY W I T H A L M O S T $ 5 B I L L I O N I N V E S T E D I N T O I N S U R A N C E T E C H S TA R T- U P S , A N D M O

Source URL: n68y02w29js2mtetnvfd871d-wpengine.netdna-ssl.com

• Index of standards articles
• Standards
• Linguistics
• Index of immunology articles

Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

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

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

Administration of William J. Clinton, July 26 (d) This order does not require agencies to create new positions or to change existing qualification standards for any position. Sec. 2. Implementation. Each Federal a

Source URL: www.gpo.gov

• Special education in the United States
• Human rights
• Law
• Reasonable accommodation
• Equal Employment Opportunity Commission
• Discrimination
• Rehabilitation Act
• Equal employment opportunity
• Disability
• Americans with Disabilities Act
• Section 504 of the Rehabilitation Act

Supplementary Material: The Emergence of Organizing Structure in Conceptual Representation Brenden M. Lake,1,2 Neil D. Lawrence,3 Joshua B. Tenenbaum,4,

Source URL: cims.nyu.edu

• K-means clustering
• Cluster analysis
• Belief propagation