FOR IMMEDIATE RELEASE June 7, 2016 INTERVIEWS: Tom Jensen

Source URL: www.publicpolicypolling.com

• Florida Republicans
• Marco Rubio
• Carlos Beruff
• Florida
• Politics of the United States
• Republican Party United States)

Dual characterizations of the sphere and the hyperbolic plane ´ Magdalena Caballero. University of Cordoba. ´ Joint work with Rafael M. Rubio. University of Cordoba.

Source URL: gigda.ugr.es

• Geometry
• Mathematics
• Mathematical analysis
• Surfaces
• Differential geometry
• Curvature
• Differential topology
• Gaussian curvature
• Hyperbolic geometry
• Differential geometry of surfaces
• Sphere
• Mean curvature

Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav

Source URL: crd.lbl.gov

• Computer arithmetic
• Computing
• Mathematics
• Theoretical computer science
• Extended precision
• IEEE floating point
• Iterative refinement
• Long double
• Significant figures
• Speedup
• Double-precision floating-point format

THE CNN /WMUR NEW HAMPSHIRE PRIMARY POLL February 8, 2016 TRUMP LIKELY TO WIN NEW HAMPSHIRE PRIMARY By:

Source URL: cola.unh.edu

• United States presidential election
• Elections in the United States
• Politics of the United States
• Marco Rubio
• Republican Party presidential primaries
• Statewide opinion polling for the Republican Party presidential primaries
• New Hampshire primary
• Nationwide opinion polling for the Republican Party 2016 presidential primaries

A Systematic Approach to Usability Practices in Computer Science Curricula Cristian Rusu, Virginia Rusu, Silvana Roncagliolo, José Miguel Rubio Pontificia Universidad Católica de Valparaíso, Chile

Source URL: www.clihc.org

• Humancomputer interaction
• Usability
• Human communication
• Interpersonal communication
• Semiotic engineering
• Interaction design
• Web engineering
• Human-Computer Interaction Institute

CLUB ESPAÑOL DEL MEDIO AMBIENTE PRESIDENTE: D Rafael Fernández Rubio Catedrático y Profesor Emérito

Source URL: clubcema.org

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Source URL: web.cs.ucdavis.edu

• Software engineering
• Computer programming
• Software testing
• Software metrics
• Abstract interpretation
• Symbolic execution
• Assertion
• Constant
• Code coverage

Official Ballot Presidential Primary Election April 26, 2016 BS REP 1

Source URL: www.elections.maryland.gov

• Politics of the United States
• Republican Party United States)
• United States
• Marco Rubio
• John Kasich
• Ted Cruz

The Gradual Verifier Stephan Arlt1? , Cindy Rubio-Gonz´alez2 , Philipp R¨ ummer3?? , Martin Sch¨af4 , 4? ? ? and Natarajan Shankar 1

Source URL: www.csl.sri.com

• Control flow
• Program analysis

Official Ballot Presidential Primary Election April 26, 2016 BS REP 1

Source URL: www.electionsmaryland.com

• Politics of the United States
• United States
• Republican Party United States)
• Marco Rubio
• John Kasich
• Ted Cruz