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

Motivation A combined abstract domain for lists Analysis of list-manipulating programs Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions

Source URL: lqchen.github.io

HIGHLIGHTED ARTICLE GENETICS | COMMUNICATIONS Massively Parallel Functional Analysis of BRCA1 RING Domain Variants Lea M. Starita,* David L. Young,* Muhtadi Islam,† Jacob O. Kitzman,*,1 Justin Gullingsrud,*

Source URL: krishna.gs.washington.edu

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille)

Source URL: laure.gonnord.org

FREQUENCY-DOMAIN METHODS FOR NONLINEAR ANALYSIS Theory and Applicalions by G.A. Leonov St.Petersburg University, Russia

Source URL: www.math.spbu.ru

Comparative genomic analysis of SET-domain family reveals the origin, expansion, and putative function

Source URL: english.ipm.ioz.cas.cn

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: faculty.nps.edu

OctDiderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis Gordon Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, John Reppy

Source URL: people.cs.uchicago.edu

Beware of Monopolies Proposing to “Open Up” Markets: An Analysis of Network Solution’s proposal for new top-level domain names. Milton Mueller Associate Professor, Syracuse University School of Information Studies

Source URL: www.icannwatch.org

Bjorner DRAFT Mayinvisible Domain Analysis: Endurants An Analysis & Description Process Model Dines Bjørner

Source URL: www.imm.dtu.dk