From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Logic in computer science
• Proof theory
• Programming language semantics
• Metalogic
• Model theory
• Symbol
• Net
• Constructible universe
• Sequent
• Permutation

HONG KONG INSTITUTE FOR MONETARY RESEARCH ASSESSING THE INTERCONNECTEDNESS BETWEEN CROSS-BORDER SHADOW BANKING SYSTEMS Tom Fong, Angela Sze and Edmund Ho

Source URL: www.hkimr.org

• Economy
• Money
• Systemic risk
• Banking
• Financial regulation
• Financial crises
• Financial markets
• Systemically important financial institution
• Non-bank financial institution
• Bank
• Subprime mortgage crisis
• Shadow banking system

Edmund Wyss Edmund Wyss

Source URL: www.snb.ch

• Political geography
• Geography of Europe
• Europe
• Basel
• Switzerland

No Direction Home: The True Cost of Routing Around Decoys Amir Houmansadr Edmund L. Wong∗

Source URL: www.cs.cornell.edu

• Computing
• Network architecture
• Internet architecture
• Information and communications technology
• Internet Standards
• Computer networking
• Routing protocols
• Routing
• Border Gateway Protocol
• Router
• Computer network
• IP routing

Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

Source URL: scungao.github.io

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Differential calculus
• Numerical analysis
• Ordinary differential equation
• Taylor's theorem
• Differential-algebraic system of equations
• Satisfiability modulo theories
• PROPT

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

STATE OF CALIFORNIA | Business, Consumer Services and Housing Agency GOVERNOR EDMUND G. BROWN JR DEPARTMENT OF FAIR EMPLOYMENT & HOUSING

Source URL: www.dfeh.ca.gov

STATE OF CALIFORNIA | Business, Consumer Services and Housing Agency GOVERNOR EDMUND G. BROWN JR DEPARTMENT OF FAIR EMPLOYMENT & HOUSING

Source URL: www.dfeh.ca.gov

Ein „richtiges“ Polymeter von caWerner H. Rudowski Nachdem John Napier die Logarithmen entdeckt und Edmund Gunter sie auf eine dünne Holzlatte übertragen hatte, wurden eine Reihe universeller Instrumente erd

Source URL: www.rechenschieber.org