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

A Discriminative Latent Variable Chinese Segmenter with Hybrid Word/Character Information Xu Sun Department of Computer Science University of Tokyo

Source URL: aclweb.org

An Asynchronous Hybrid Genetic-Simplex Search for Modeling the Milky Way Galaxy Using Volunteer Computing Travis Desell Department of Computer

Source URL: wcl.cs.rpi.edu

Data Movement in Hybrid Analytic Systems: A Case for Automation Patrick Leyshock, David Maier, Kristin Tufte Department of Computer Science Portland State University Portland, Oregon, U.S.A.

Source URL: web.cecs.pdx.edu

High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

Source URL: cs.uwaterloo.ca

Achieving Open Vocabulary Neural Machine Translation with Hybrid Word-Character Models Minh-Thang Luong and Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 {lmthang,manning}@st

Source URL: aclweb.org

Success Story: Convey Computer Facilitates delivery of innovative hybrid-core systems with granular, adaptive and transparent licensing of high-value IP Customer Profile:

Source URL: media.flexerasoftware.com

Concurrent Solutions to Linear Systems using Hybrid CPU/GPU Nodes Oluwapelumi Adenikinju1 , Julian Gilyard2 , Joshua Massey1 , Thomas Stitt3 1 Department of Computer Science and Electrical Engineering, UMBC

Source URL: www.siam.org