Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University

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

• Numerical methods for ordinary differential equations
• Domain decomposition methods
• Numerical analysis
• Numerical software
• Mathematical analysis
• PROPT

Sonoma State University CS Degree Requirements Updated Summer 2018 MathCalculus I CS)

Source URL: www.cs.sonoma.edu

• Logic in computer science
• Type theory

Node Variability in Large-Scale Power Measurements: Perspectives from the Green500, Top500 and EEHPCWG Thomas Scogland Green500 List and Lawrence Livermore National Laboratory

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer architecture
• Computers and the environment
• Supercomputers
• Cluster computing
• Cray
• Supercomputing in Japan
• Performance per watt
• Titan
• K computer
• Tsubame
• TOP500

CHAOS:  Composable  Highly   Accurate  OS-­‐based  Power  Models   John  D.  Davis,  Suzanne  Rivoire,  Moises   Goldszmidt,  Ehsan  Ardestani   ()

Source URL: rivoire.cs.sonoma.edu

• Crowdsourcing
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• CHAOS
• Chaos theory
• Machine to machine
• Computer architecture
• Information science
• Information retrieval

From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Formal languages
• Mathematics
• Discrete mathematics
• Graph theory
• Abstract semantic graph
• Graph
• Rewriting
• Graph rewriting

Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Computing
• Computer science
• Symposium on Principles of Programming Languages
• Electronic design automation
• Formal methods
• Logic in computer science
• Computer Aided Verification
• Helmut Veith
• High-level synthesis
• Formal verification
• Computer music

On the Quality of BGP Route Collectors for iBGP Policy Inference Luca Cittadini∗ Stefano Vissicchio† Benoit Donnet§ ∗ Roma Tre University † Universit´e catholique de Louvain § Universit´e de Li`ege

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

• Internet architecture
• Routing
• Computing
• Network architecture
• Internet
• Internet Standards
• Border Gateway Protocol
• Route reflector
• Router
• IP routing
• Autonomous system
• Default-free zone

Learning to teach © STOCKBYTE Suzanne Rivoire GRAD ED SPOTLIGHT

Source URL: rivoire.cs.sonoma.edu

• Education
• Learning
• Human behavior
• Graduate school
• Teaching assistant
• Doctor of Philosophy
• Teacher
• Educational technology
• Teaching and learning center
• Teaching fellow

Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Central processing unit
• ARM architecture
• Translation lookaside buffer
• Hypervisor
• Protection ring
• QEMU
• X86 virtualization
• Hyper-V
• Second Level Address Translation

OpenRec: A Modular Framework for Extensible and Adaptable Recommendation Algorithms

Source URL: www.cs.cornell.edu