J U N E 2018 V O LU ME 76, N U MB E R 6 ECONOMY AT A GLANCE I

Source URL: www.mississippi.edu

Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich

Source URL: formal.iti.kit.edu

• Mathematical logic
• Set theory
• Logic
• Z notation
• S
• Naive set theory
• Constructible universe
• Mereology

Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin

Source URL: www.kestrel.edu

• Concurrent computing
• Liveness
• Temporal logic
• Safety property
• Category theory
• Computation tree logic
• Morphism
• Dual
• Category
• Natural transformation
• Mathematics
• Mathematical logic

Hyperkernel: Push-Button Verification of an OS Kernel

Source URL: unsat.cs.washington.edu

• System software
• Computer architecture
• Software
• Kernel
• Xv6
• LLVM
• Linux kernel

Earth Science, BA "DBEFNJD
.BQ
 5IF
"DBEFNJD
.BQ
TFSWFT
BT
B
TVHHFTUFE
DPVSTF
TFRVFODF
POMZ
4UVEFOUT
BSF
OPU
MJNJUFE
UP
UIJT
QMBO
JU
JT
NFBOU
UP
CF
VTFE
BT

Source URL: catalog.southernct.edu

• Course
• Curricula
• Large ElectronPositron Collider

Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

Source URL: www.kestrel.edu

• Lambda calculus
• Theoretical computer science
• Mathematical logic
• Declarative programming
• Adjoint functors
• Anonymous function
• Type theory
• Lambda lifting

教学情况评议表 课程名称 班号 时间 年 月 日 （请选择打√） 任课教师姓名：___________

Source URL: id.buaa.edu.cn

Performance Evaluation and Optimization Models for Processing Networks with Queue-Dependent Production Quantities by John S. Hollywood S.B. Applied Mathematics

Source URL: web.mit.edu

• Computer programming
• Statistical randomness
• Computing
• Operations research
• Queueing theory
• Markov processes
• Recursion
• Theoretical computer science
• Qt
• Queue
• Linear programming
• Mathematical optimization

Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Information and communications technology
• Computer networking
• Technology
• Network protocols
• Data transmission
• Internet of things
• Vehicular ad hoc network
• Wireless ad hoc network
• Mobile ad hoc network
• Network packet

New Directions for Network Verification Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker •

Source URL: people.eecs.berkeley.edu

• Computer network security
• Computer security
• Cyberwarfare
• Middlebox
• Computing
• Firewall
• Network switch
• Computer network