Modular Verification of Open Features Through Three-Valued Model Checking
Harry C. Li Brown University, USA

Source URL: web.cs.wpi.edu

• Logic
• Mathematical logic
• Theoretical computer science
• Boolean algebra
• Logic in computer science
• Formal methods
• Classical logic
• Formal verification
• Model checking
• Modal logic
• Propositional calculus
• Temporal logic

fx-Calc How-To Fx-Calc How-ToContent Fx-Calc – universal desktop calculator for Windows............................................................................... 3

Source URL: www.fx-calc.de

• Mathematical analysis
• Mathematics
• Office equipment
• Analytic functions
• Exponentials
• Calculators
• Mathematical notation
• Scientific calculator
• Hyperbolic function
• Calculus
• Software calculator
• Exponential function

PRL 101, week ending 22 AUGUSTPHYSICAL REVIEW LETTERS

Source URL: dmabrams.esam.northwestern.edu

• Bifurcation theory
• Calculus
• Mathematical analysis
• Nonlinear systems
• Mathematics
• Parametric equation
• Hopf bifurcation
• Sine
• Saddle-node bifurcation
• Kuramoto model

http://www.wischik.com/lu/research/oldnames.html Old Names for Nu Lucian Wischik, Microsoft. JuneAbstract. There is a gap between theory and implementation of the pi

Source URL: www.wischik.com

• Mathematics
• Theoretical computer science
• Logic
• Abstraction
• Process calculi
• -calculus
• Lambda calculus
• Process calculus
• Limit of a function
• Quantifier
• Sheaf
• Jet bundle

THE METHOD OF FOKAS FOR SOLVING LINEAR PARTIAL DIFFERENTIAL EQUATIONS BERNARD DECONINCK, TOM TROGDON AND VISHAL VASAN DEPARTMENT OF APPLIED MATHEMATICS UNIVERSITY OF WASHINGTON SEATTLE, WA

Source URL: www.cims.nyu.edu

• Mathematical analysis
• Mathematics
• Calculus
• Fourier analysis
• Operator theory
• Differential equations
• Mathematical physics
• Partial differential equations
• Closed and exact differential forms
• Heat equation
• Fourier transform
• Laplace transform

MAXIMUM AND MINIMUM VALUES: ONE VARIABLE AND TWO MATH 195, SECTION 59 (VIPUL NAIK) Corresponding material in the book: SectionWhat students should definitely get: The definition of critical point in terms of gradi

Source URL: files.vipulnaik.com

• Mathematical analysis
• Mathematics
• Analysis
• Differential calculus
• Derivative test
• Maxima and minima
• Critical point
• Semi-differentiability
• Inverse function
• Derivative
• Generalizations of the derivative
• Inflection point

Vectors Stephen Boyd EE103 Stanford University September 24, 2015

Source URL: stanford.edu

• Algebra
• Mathematics
• Vectors
• Linear algebra
• Abstract algebra
• Vector calculus
• Analytic geometry
• Euclidean vector
• Vector
• Position
• Scalar multiplication
• Scalar

UNIVERSITY  OF  ILLINOIS  LABORATORY  HIGH  SCHOOL  -­‐  2015-­‐2016  FACULTY  LOCATOR  –  FALL  Semester   Staff  Info   st 1  Period  

Source URL: www.uni.illinois.edu

A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates James Brotherston ∗ Carsten Fuhs † Juan A. Navarro P´erez ‡ University College London

Source URL: www.dcs.bbk.ac.uk

• Logic
• Mathematics
• Abstraction
• Automated theorem proving
• Smooth functions
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Well-formed formula
• Distribution
• Constructible universe

Preventing waves from spreading Peter Hertel Waves The Electromagnetic

Source URL: iap.nankai.edu.cn

• Wave mechanics
• Calculus
• Waves
• Physics
• Wave
• Plane wave
• Electromagnetism