Modern Storage for Today’s Data Center Built with maximum flexibility at its core, the Spectra® Stack tape library will meet your backup, archive, and perpetual storage requirements. Designed to be easily installed, e

Source URL: www.teradactyl.com

• Electromagnetism
• Magnetism
• Computing
• Linear Tape-Open
• Linear Tape File System
• Spectra Logic
• Tape drive
• Magnetic tape data storage
• Backup
• Tape library
• Storage Technology Corporation
• Computer data storage

Dealing with social media Dealing with social media Guidelines for employees

Source URL: www.epa.admin.ch

• Digital media
• New media
• Information and communications technology
• Human behavior
• Web 2.0
• Social media
• Terms of service
• Internet culture
• Internet privacy
• Internet
• Computer security
• Blog

STUDENT PARTICIPANT RELEASE FORM I want to participate in the Carnegie Mellon University Africa “CMU-Africa” Host Family Program. I understand that I will be matched with a host or host family from the Kigali area t

Source URL: www.africa.engineering.cmu.edu

• Carnegie Mellon University
• Host family

Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute

Source URL: www.isse.uni-augsburg.de

• Formal methods
• Theoretical computer science
• Software engineering
• Mathematics
• Predicate transformer semantics
• Refinement
• Abstract state machines
• NC
• 120-cell
• Cover

Learning gem5 – Part I Getting started with gem5 Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Fiction
• Software
• Computer programming
• Build automation
• Compiling tools
• Jason Voorhees
• Computer
• Friday the 13th
• SCons
• Git

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

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

Journeys in World Politics, March 9th-11th, 2006 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Mar. 9 6:30-8:30 p.m. Dinner at Sh

Source URL: www.saramitchell.org

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming