MCS 441 – Theory of Computation I Spring 2016 Problem Set 2 Lev Reyzin Due: at the beginning of class

Source URL: homepages.math.uic.edu

• Finite automata
• Formal languages
• Regular language
• Generalized nondeterministic finite automaton
• Pumping lemma for context-free languages
• Nondeterministic finite automaton

Applied Mathematics Seminars Semester 2: Candlemas Semester 2016 Friday 29th January, 2:00pm Prof. Alan Champneys, University of Bristol

Source URL: www.mcs.st-andrews.ac.uk

GRUPPO GIUDICI GARE ProtLV/mcs Roma, 12 DicembreAi Fiduciari Regionali

Source URL: www.fidal.it

OS/Runtime challenges for dynamic topology aware mapping Abhinav Bhatele and Todd Gamblin Center for Applied Scientific Computing, Lawrence Livermore National Laboratory E-mail: , As pro

Source URL: collab.mcs.anl.gov

• Parallel computing
• Supercomputer
• Blue Gene
• K computer
• Network topology
• Multi-core processor
• Exascale computing
• Topology
• Node
• Message Passing Interface

GRUPPO GIUDICI GARE ProtLV/mcs Roma, 6 maggio 2014  Al Presidente del Comitato Regionale FIDAL Provincia Autonoma di TRENTO

Source URL: www.fidal.it

Abstract The work in this thesis focuses primarily on equilibrium and stability properties of collisionless current sheet models, in particular of the force-free Harris sheet model. A detailed investigation is carried o

Source URL: www-solar.mcs.st-and.ac.uk

• Thermodynamics
• Equilibrium chemistry
• Thermodynamic equilibrium
• Economic equilibrium
• Stability theory

PDF Document

Source URL: icm.mcs.kent.edu

GRUPPO GIUDICI GARE Prot. 30 LV/mcs Roma, 7

Source URL: www.fidal.it

Designing a Common Communication Subsystem? Darius Buntinas and William Gropp Mathematics and Computer Science Division Argonne National Laboratory {buntinas, gropp}@mcs.anl.gov

Source URL: wgropp.cs.illinois.edu

• Inter-process communication
• Parallel computing
• Application programming interfaces
• Message Passing Interface
• Systems engineering
• Message passing
• Active message
• MPICH
• Middleware
• Partitioned global address space
• Computer cluster

Improving the Performance of Tensor Matrix Vector Multiplication in Quantum Chemistry Codes W. D. Gropp, D. K. Kaushik, M. Minkoff, and B. F. Smith Argonne National Laboratory {gropp,kaushik,minkoff,bsmith}@mcs.anl.gov

Source URL: wgropp.cs.illinois.edu

• Linear algebra
• Matrix theory
• Binary operations
• Matrices
• Multiplication
• Matrix
• Tensor
• Euclidean vector
• Product
• Eigenvalues and eigenvectors
• Array programming
• Cross product